About: Temporal logic

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

System for representing and reasoning about time

Property	Value
dbo:description	system for representing and reasoning about time (en) typ av logik (sv) věda, zabývající se studiem modelů času (cs) 時間との関連で問題を理解し表現するための規則と表記法の体系 (ja)
dbo:wikiPageExternalLink	https://www.dimap.ufrn.br/~richard/pubs/dim0436/papers/pnueli_temporal_1977.pdf https://www.sciencedirect.com/science/article/pii/0167642387900360/pdf%3Fmd5=43227d5832bc2b176eb3de0da978418d&isDTMRedir=Y&pid=1-s2.0-0167642387900360-main.pdf&_valck=1 https://link.springer.com/article/10.1007/BF01257083 http://www.comp.nus.edu.sg/~pat/ http://www.cs.rice.edu/~vardi/papers/25mc.ps.gz http://staff.science.uva.nl/~yde/papers/TempLog.pdf https://profs.info.uaic.ro/~masalagiu/pub/handbook3.pdf http://www.doc.ic.ac.uk/~imh/papers/sa.ps.gz http://plato.stanford.edu/entries/logic-temporal/ http://cadp.inria.fr https://www.springer.com/engineering/circuits+%26+systems/book/978-0-387-35313-5
dbo:wikiPageWikiLink	dbr:Modal_operator dbr:Temporal_logic_in_finite-state_verification dbr:Automata_theory dbr:Nicholas_Rescher dbr:Arthur_Prior dbr:Temporal_logic_of_actions dbr:First-order_logic dbr:University_of_Oxford dbr:Saul_Kripke dbr:Double_turnstile dbr:Atomic_formula dbr:Propositional_calculus dbr:Propositional_logic dbr:Hans_Kamp dbr:Modal_μ-calculus dbr:Modus_ponens dbr:Well-formed_formula dbr:Computation_tree_logic dbr:Sentence_(mathematical_logic) dbr:Aristotle dbr:Logic dbr:Time dbr:Dense_order dbr:Backus–Naur_form dbr:Kripke_semantics dbr:Modal_logic dbr:Tautology_(logic) dbr:Reflexive_relation dbr:CTL* dbr:Free_will dbr:Logician dbr:Predestination dbr:Transitive_reduction dbr:HPO_formalism dbr:Henryk_Hiż dbr:Alonzo_Church dbr:Amir_Pnueli dbr:Charles_Leonard_Hamblin dbr:E._Allen_Emerson dbr:Edmund_M._Clarke dbr:Zohar_Manna dbr:Binary_relation dbr:Charles_Sanders_Peirce dbr:Principle_of_bivalence dbr:Logical_operator dbr:Truth_function dbr:Interval_temporal_logic dbr:Problem_of_future_contingents dbr:Property_Specification_Language dbr:Mordechai_Ben-Ari dbr:Formal_verification dbr:Total_order dbr:Jerzy_Łoś dbr:Antisymmetric_relation dbc:Temporal_logic dbr:Linear_temporal_logic dbr:Stanford_Encyclopedia_of_Philosophy dbr:Categorical_syllogism dbr:Hybrid_logic dbr:Duration_calculus dbr:Reo_Coordination_Language dbr:Hennessy–Milner_logic dbr:Metric_interval_temporal_logic dbr:Timed_propositional_temporal_logic dbr:Kripke_structure dbr:Metric_temporal_logic dbr:List_of_important_publications_in_theoretical_computer_science dbr:Trichotomy_(mathematics) dbr:State_transition_system dbr:Binary_operator dbr:Lviv-Warsaw_School_of_Logic dbr:Irreflexive dbr:Unary_operator dbr:Computer_scientists dbr:Chomsky_grammar dbr:Research_Materials:_Max_Planck_Society_Archive dbr:Mill's_canons dbr:Hamblin_implications dbr:Kamp's_theorem dbr:Computational_verb_logic dbr:Hyper_temporal_logic dbr:Positional_logic dbr:Signal_temporal_logic dbr:Timestamp_temporal_logic dbr:Truncated_Linear_Temporal_Logic
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Commons_category dbt:Cite_book dbt:Reflist dbt:Math dbt:Clarify dbt:Cquote dbt:Var dbt:Mvar dbt:Non-classical_logic dbt:Short_description
dct:subject	dbc:Philosophy_of_time dbc:Temporal_logic
rdfs:label	Temporal logic (en) Lògica temporal (ca) Χρονική λογική (el) Temporale Logik (de) Temporální logika (cs) Tempa logiko (eo) Lógica temporal (es) Logique temporelle (fr) 時相論理 (ja) 시간 논리 (ko) Tijdslogica (nl) Logika temporalna (pl) Lógica temporal (pt) Темпоральная логика (ru) Темпоральна логіка (uk) 时间逻辑 (zh)
owl:sameAs	http://sw.cyc.com/concept/Mx4rvYipj5wpEbGdrcN5Y29ycA freebase:Temporal logic yago-res:Temporal logic wikidata:Temporal logic dbpedia-nl:Temporal logic dbpedia-de:Temporal logic dbpedia-fr:Temporal logic dbpedia-tr:Temporal logic dbpedia-zh:Temporal logic dbpedia-ja:Temporal logic dbpedia-pt:Temporal logic dbpedia-he:Temporal logic dbpedia-es:Temporal logic dbpedia-ru:Temporal logic dbpedia-pl:Temporal logic dbpedia-ko:Temporal logic dbpedia-el:Temporal logic dbpedia-ca:Temporal logic dbpedia-cs:Temporal logic dbpedia-eo:Temporal logic dbpedia-fi:Temporal logic dbpedia-sk:Temporal logic dbpedia-uk:Temporal logic dbpedia-global:Temporal logic dbr:Temporal logic
prov:wasDerivedFrom	wikipedia-en:Temporal_logic?oldid=1296400479&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Temporal_logic
is dbo:knownFor of	dbr:Valentin_Goranko dbr:Dana_Fisman
is dbo:mainInterest of	dbr:Nuel_Belnap
is dbo:notableIdea of	dbr:Arthur_Prior
is dbo:wikiPageRedirects of	dbr:Tense_logic dbr:Tense_logic dbr:Temporal_Logic
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:China_Energy_Research_Report dbr:Allen's_interval_algebra dbr:Imperative_logic dbr:Christel_Baier dbr:List_of_Massachusetts_Institute_of_Technology_alumni dbr:Nicholas_Rescher dbr:Wairarapa dbr:Promela dbr:Moshe_Vardi dbr:Natural_deduction dbr:Red_harvester_ant dbr:Outline_of_philosophy dbr:Arthur_Prior dbr:State_(computer_science) dbr:The_Book_of_Healing dbr:Temporal_logic_of_actions dbr:Eventually_(mathematics) dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:History_of_logic dbr:Early_Islamic_philosophy dbr:Deontic_logic dbr:Wolfgang_Rautenberg dbr:Description_logic dbr:Philosophical_logic dbr:Philosophy_of_logic dbr:Faron_Moller dbr:Modal_μ-calculus dbr:Child_development dbr:Veridicality dbr:Gödel_Prize dbr:Computation_tree_logic dbr:History_of_mathematical_notation dbr:Islamic_philosophy dbr:Logic dbr:Duality_(mathematics) dbr:Modal_logic dbr:Concurrency_(computer_science) dbr:Christopher_Isham dbr:Kripke_structure_(model_checking) dbr:Multimodal_logic dbr:Fitch's_paradox_of_knowability dbr:Index_of_philosophy_articles_(R–Z) dbr:Institution_(computer_science) dbr:Intensional_logic dbr:Symbolic_artificial_intelligence dbr:CPN-AMI dbr:CTL* dbr:Index_of_logic_articles dbr:Probabilistic_CTL dbr:Avicenna dbr:Reasoning_system dbr:HPO_formalism dbr:James_F._Allen_(computer_scientist) dbr:List_of_pioneers_in_computer_science dbr:Amir_Pnueli dbr:Charles_Leonard_Hamblin dbr:E._Allen_Emerson dbr:Leslie_Lamport dbr:Mihalis_Yannakakis dbr:Zohar_Manna dbr:Principle_of_bivalence dbr:Turing_Award dbr:Dynamic_logic_(modal_logic) dbr:Spatial–temporal_reasoning dbr:Nuel_Belnap dbr:Interval_temporal_logic dbr:Dov_Gabbay dbr:Problem_of_future_contingents dbr:Property_Specification_Language dbr:Logic_in_Islamic_philosophy dbr:TAPAs_model_checker dbr:Temporal_single-system_interpretation dbr:PRISM_model_checker dbr:Formal_verification dbr:Pre-intuitionism dbr:Culture_of_Israel dbr:Belief–desire–intention_software_model dbr:Linear_temporal_logic dbr:Pierre_Wolper dbr:Common_Algebraic_Specification_Language dbr:Guarded_logic dbr:Najm_al-Din_al-Qazwini_al-Katibi dbr:Gabbay's_separation_theorem dbr:List_of_computer_scientists dbr:Logic_in_computer_science dbr:Concurrent_MetateM dbr:Deontic_modality dbr:Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) dbr:Hybrid_logic dbr:Grigore_Roșu dbr:Alternating-time_temporal_logic dbr:List_of_University_of_Maryland,_Baltimore_County_people dbr:Linear_time_property dbr:Drinker_paradox dbr:Duration_calculus dbr:Kazem_Sadegh-Zadeh dbr:List_of_University_of_Pittsburgh_faculty dbr:Purely_functional_programming dbr:Cantor's_isomorphism_theorem dbr:Véronique_Bruyère dbr:Ought_implies_can dbr:Outline_of_logic dbr:Patricia_Bouyer-Decitre dbr:Doron_A._Peled dbr:Valentin_Goranko dbr:Tense_logic dbr:List_of_Israeli_inventions_and_discoveries dbr:Timed_propositional_temporal_logic dbr:Harry_R._Lewis dbr:Metric_temporal_logic dbr:Jose_Meseguer dbr:Vadalog dbr:TLA+ dbr:Kristin_Yvonne_Rozier dbr:List_of_important_publications_in_theoretical_computer_science dbr:Temporal_Logic
is dbp:mainInterests of	dbr:Nuel_Belnap
is dbp:notableIdeas of	dbr:Arthur_Prior
is foaf:primaryTopic of	wikipedia-en:Temporal_logic