About: Linear temporal logic

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

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:Action_language dbr:Logic dbr:Alphabet_(formal_languages) dbr:Formal_verification dbr:Logical_connective dbr:Temporal_logic dbr:Modal_operator dbr:Preference dbr:Büchi_automaton dbr:Path_(graph_theory) dbr:Satisfiability dbr:Amir_Pnueli dbr:CTL* dbr:Computation_tree_logic dbr:Modal_logic dbr:Planning_Domain_Definition_Language dbr:Counterexample dbr:Expressive_power_(computer_science) dbr:First-order_logic dbr:Propositional_variable dbr:Liveness dbr:Star-free_language dbr:Unary_operation dbr:Free_University_of_Bozen-Bolzano dbr:PSPACE-complete dbr:Safety_property dbr:Preference-based_planning dbc:Temporal_logic dbr:Linear_temporal_logic_to_Büchi_automaton dbc:Computer-related_introductions_in_1977 dbr:Metric_temporal_logic dbr:Safety_and_liveness_properties dbr:Ω-language dbr:2-EXPTIME dbr:Binary_operator dbr:Kripke_structure dbr:Monadic_first-order_logic_of_order dbr:Alessandro_Artale 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:Citation_needed dbt:Math dbt:Mvar dbt:Reflist dbt:Short_description dbt:Var dbt:Commons_category
dct:subject	dbc:Temporal_logic dbc:Computer-related_introductions_in_1977
gold:hypernym	dbr:Logic
rdfs:label	Linear temporal logic (en) Γραμμική χρονική λογική (el) Lineare temporale Logik (de) Logique temporelle linéaire (fr) 線形時相論理 (ja) 선형 시제 논리 (ko) Logica temporale lineare (it) Lógica temporal linear (pt) Logika LTL (pl) 线性时序逻辑 (zh)
owl:sameAs	freebase:Linear temporal logic wikidata:Linear temporal logic dbpedia-de:Linear temporal logic dbpedia-it:Linear temporal logic dbpedia-pl:Linear temporal logic dbpedia-fr:Linear temporal logic dbpedia-ja:Linear temporal logic dbpedia-pt:Linear temporal logic dbpedia-zh:Linear temporal logic dbpedia-el:Linear temporal logic dbpedia-ko:Linear temporal logic dbpedia-fa:Linear temporal logic dbpedia-global:Linear temporal logic yago-res: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:List_of_computing_and_IT_abbreviations dbr:Generalized_Büchi_automaton dbr:Construction_and_Analysis_of_Distributed_Processes dbr:Partial_order_reduction dbr:Action_language dbr:Formal_verification dbr:Model_checking dbr:Modal_μ-calculus dbr:Temporal_logic dbr:Temporality dbr:Concurrency_(computer_science) dbr:Reactive_synthesis dbr:Signal_(model_checking) dbr:Timed_propositional_temporal_logic dbr:Timed_word dbr:Büchi_automaton dbr:True_quantified_Boolean_formula dbr:CTL* dbr:Computation_tree_logic dbr:TLA+ dbr:Modal_logic dbr:Description_logic dbr:Linear_time_property dbr:Property_Specification_Language dbr:PAT_(model_checker) dbr:Petri_net dbr:Kripke_structure_(model_checking) dbr:Runtime_verification dbr:Star-free_language dbr:LTL dbr:Principles_of_Model_Checking dbr:Policy-based_management dbr:EXPSPACE dbr:List_of_model_checking_tools dbr:Alternating-time_temporal_logic dbr:Outline_of_logic dbr:Preference-based_planning dbr:List_of_PSPACE-complete_problems dbr:Linear_temporal_logic_to_Büchi_automaton dbr:Stuttering_equivalence dbr:Channel_system_(computer_science) dbr:Propositional_temporal_logic dbr:Semi-deterministic_Büchi_automaton dbr:Metric_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 foaf:primaryTopic of	wikipedia-en:Linear_temporal_logic