About: Linear temporal logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Field of mathematical logic

Property	Value
dbo:description	logika temporalna (pl) field of mathematical logic (en) modale Logik zur Modellprüfung (de)
dbo:thumbnail	wiki-commons:Special:FilePath/Ltlnext.svg?width=300
dbo:wikiPageExternalLink	http://spot.lip6.fr/ https://web.archive.org/web/20090830133455/http:/spot.lip6.fr/wiki/LtlTranslationAlgorithms http://www.dcs.qmul.ac.uk/~pm/SaR/2004ltl.pdf http://www.inf.unibz.it/~artale/FM/slide3.pdf http://www.cmi.ac.in/~madhavan/papers/pdf/isical97.pdf
dbo:wikiPageWikiLink	dbr:Modal_operator dbr:Planning_Domain_Definition_Language dbr:Alessandro_Artale dbr:Counterexample dbr:Büchi_automaton dbr:First-order_logic dbr:Satisfiability dbr:Linear_temporal_logic_to_Büchi_automaton dbr:2-EXPTIME dbc:Computer-related_introductions_in_1977 dbr:Path_(graph_theory) dbr:Computation_tree_logic dbr:Logic dbr:Modal_logic dbr:Expressive_power_(computer_science) dbr:Alphabet_(formal_languages) dbr:CTL* dbr:Action_language dbr:Amir_Pnueli dbr:Logical_connective dbr:Unary_operation dbr:PSPACE-complete dbr:Preference dbr:Safety_and_liveness_properties dbr:Formal_verification dbc:Temporal_logic dbr:Temporal_logic dbr:Preference-based_planning dbr:Free_University_of_Bozen-Bolzano dbr:Propositional_variable dbr:Star-free_language dbr:Ω-language dbr:Safety_property dbr:Kripke_structure dbr:Metric_temporal_logic dbr:Liveness dbr:Binary_operator dbr:Monadic_first-order_logic_of_order dbr:File:Ltlalways.svg dbr:File:Ltleventually.svg dbr:File:Ltlnext.svg dbr:File:Ltlrelease-nostop.svg dbr:File:Ltlrelease-stop.svg dbr:File:Ltluntil.svg dbr:File:Ltlweakuntil2.svg dbr:Kamp's_theorem
dbp:wikiPageUsesTemplate	dbt:Commons_category dbt:Reflist dbt:Math dbt:Var dbt:Citation_needed dbt:Mvar dbt:Short_description
dct:subject	dbc:Computer-related_introductions_in_1977 dbc:Temporal_logic
gold:hypernym	dbr:Logic
rdfs:label	Linear temporal logic (en) Γραμμική χρονική λογική (el) Lineare temporale Logik (de) Logique temporelle linéaire (fr) 線形時相論理 (ja) Logica temporale lineare (it) 선형 시제 논리 (ko) Logika LTL (pl) Lógica temporal linear (pt) 线性时序逻辑 (zh)
owl:sameAs	freebase:Linear temporal logic yago-res:Linear temporal logic wikidata:Linear temporal logic dbpedia-it:Linear temporal logic dbpedia-de:Linear temporal logic dbpedia-fr:Linear temporal logic dbpedia-zh:Linear temporal logic dbpedia-ja:Linear temporal logic dbpedia-pt:Linear temporal logic dbpedia-fa:Linear temporal logic dbpedia-pl:Linear temporal logic dbpedia-ko:Linear temporal logic dbpedia-el:Linear temporal logic dbpedia-global:Linear temporal logic dbr:Linear temporal logic
prov:wasDerivedFrom	wikipedia-en:Linear_temporal_logic?oldid=1281928739&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Ltlalways.svg wiki-commons:Special:FilePath/Ltleventually.svg wiki-commons:Special:FilePath/Ltlnext.svg wiki-commons:Special:FilePath/Ltlrelease-nostop.svg wiki-commons:Special:FilePath/Ltlrelease-stop.svg wiki-commons:Special:FilePath/Ltluntil.svg wiki-commons:Special:FilePath/Ltlweakuntil2.svg
foaf:isPrimaryTopicOf	wikipedia-en:Linear_temporal_logic
is dbo:wikiPageDisambiguates of	dbr:LTL
is dbo:wikiPageRedirects of	dbr:Propositional_temporal_logic dbr:Linear-time_temporal_logic dbr:Linear_Temporal_Logic dbr:Linear_time_temporal_logic dbr:LTL_(logic) dbr:LTL_formula dbr:LTL_logic
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:EXPSPACE dbr:LTL dbr:True_quantified_Boolean_formula dbr:Petri_net dbr:Büchi_automaton dbr:Description_logic dbr:Modal_μ-calculus dbr:Partial_order_reduction dbr:Linear_temporal_logic_to_Büchi_automaton dbr:Computation_tree_logic dbr:Modal_logic dbr:Concurrency_(computer_science) dbr:Kripke_structure_(model_checking) dbr:CTL* dbr:Action_language dbr:Runtime_verification dbr:Temporality dbr:Propositional_temporal_logic dbr:List_of_computing_and_IT_abbreviations dbr:Property_Specification_Language dbr:List_of_model_checking_tools dbr:Stuttering_equivalence dbr:PAT_(model_checker) dbr:Formal_verification dbr:List_of_PSPACE-complete_problems dbr:Temporal_logic dbr:Preference-based_planning dbr:Star-free_language dbr:Construction_and_Analysis_of_Distributed_Processes dbr:Alternating-time_temporal_logic dbr:Generalized_Büchi_automaton dbr:Linear_time_property dbr:Semi-deterministic_Büchi_automaton dbr:Outline_of_logic dbr:Principles_of_Model_Checking dbr:Policy-based_management dbr:Reactive_synthesis dbr:Signal_(model_checking) dbr:Timed_propositional_temporal_logic dbr:Timed_word dbr:Channel_system_(computer_science) dbr:Metric_temporal_logic dbr:TLA+ dbr:Linear-time_temporal_logic dbr:Linear_Temporal_Logic dbr:Linear_time_temporal_logic dbr:LTL_(logic) dbr:LTL_formula dbr:LTL_logic
is foaf:primaryTopic of	wikipedia-en:Linear_temporal_logic