About: Temporal logic

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

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	http://cadp.inria.fr https://www.springer.com/engineering/circuits+%26+systems/book/978-0-387-35313-5 https://www.dimap.ufrn.br/~richard/pubs/dim0436/papers/pnueli_temporal_1977.pdf https://link.springer.com/article/10.1007/BF01257083 https://www.sciencedirect.com/science/article/pii/0167642387900360/pdf%3Fmd5=43227d5832bc2b176eb3de0da978418d&isDTMRedir=Y&pid=1-s2.0-0167642387900360-main.pdf&_valck=1 http://www.doc.ic.ac.uk/~imh/papers/sa.ps.gz http://plato.stanford.edu/entries/logic-temporal/ 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
dbo:wikiPageWikiLink	dbr:Sentence_(mathematical_logic) dbr:Double_turnstile dbr:Principle_of_bivalence dbr:Trichotomy_(mathematics) dbr:Aristotle dbr:Reo_Coordination_Language dbr:Henryk_Hiż dbr:Alonzo_Church dbr:Free_will dbr:Logic dbr:Binary_relation dbr:Saul_Kripke dbr:University_of_Oxford dbr:Formal_verification dbr:Time dbr:Arthur_Prior dbr:Propositional_calculus dbr:Automata_theory dbr:Charles_Sanders_Peirce dbr:Modal_μ-calculus dbr:Modus_ponens dbr:Hybrid_logic dbr:Hans_Kamp dbr:Modal_operator dbr:Truth_function dbr:Duration_calculus dbr:Metric_interval_temporal_logic dbr:Timed_propositional_temporal_logic dbr:Atomic_formula dbr:Jerzy_Łoś dbr:Amir_Pnueli dbr:Backus–Naur_form dbr:CTL* dbr:Charles_Leonard_Hamblin dbr:Computation_tree_logic dbr:E._Allen_Emerson dbr:Edmund_M._Clarke dbr:Logician dbr:Mordechai_Ben-Ari dbr:Nicholas_Rescher dbr:Temporal_logic_of_actions dbr:Modal_logic dbr:Stanford_Encyclopedia_of_Philosophy dbr:Dense_order dbr:Property_Specification_Language dbr:First-order_logic dbr:Zohar_Manna dbr:Predestination dbr:Propositional_logic dbr:Antisymmetric_relation dbr:Kripke_semantics dbr:Tautology_(logic) dbr:Reflexive_relation dbr:Transitive_reduction dbr:Total_order dbr:Well-formed_formula dbr:Problem_of_future_contingents dbr:Linear_temporal_logic dbr:HPO_formalism dbc:Temporal_logic dbr:Temporal_logic_in_finite-state_verification dbr:Interval_temporal_logic dbr:Logical_operator dbr:Hennessy–Milner_logic dbr:Metric_temporal_logic dbr:List_of_important_publications_in_theoretical_computer_science dbr:Binary_operator dbr:Chomsky_grammar dbr:Kripke_structure dbr:Categorical_syllogism dbr:Computer_scientists dbr:Lviv-Warsaw_School_of_Logic dbr:Irreflexive dbr:Mill's_canons dbr:Research_Materials:_Max_Planck_Society_Archive dbr:Unary_operator dbr:State_transition_system 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:Non-classical_logic dbt:Cite_book dbt:Clarify dbt:Cquote dbt:Math dbt:Mvar dbt:Reflist dbt:Short_description dbt:Var dbt:Commons_category
dct:subject	dbc:Philosophy_of_time dbc:Temporal_logic
rdfs:label	Temporal logic (en) Temporální logika (cs) Lògica temporal (ca) Χρονική λογική (el) Temporale Logik (de) Tempa logiko (eo) Logique temporelle (fr) Lógica temporal (es) 시간 논리 (ko) 時相論理 (ja) Logika temporalna (pl) Tijdslogica (nl) Lógica temporal (pt) Темпоральная логика (ru) Темпоральна логіка (uk) 时间逻辑 (zh)
owl:sameAs	http://sw.cyc.com/concept/Mx4rvYipj5wpEbGdrcN5Y29ycA freebase:Temporal logic wikidata:Temporal logic dbpedia-de:Temporal logic dbpedia-es:Temporal logic dbpedia-nl:Temporal logic dbpedia-pl:Temporal logic dbpedia-tr:Temporal logic dbpedia-fr:Temporal logic dbpedia-he:Temporal logic dbpedia-ja:Temporal logic dbpedia-pt:Temporal logic dbpedia-ru:Temporal logic dbpedia-zh:Temporal logic dbpedia-el:Temporal logic dbpedia-ko: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 yago-res: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:Intensional_logic dbr:Kazem_Sadegh-Zadeh dbr:Principle_of_bivalence dbr:List_of_computer_scientists dbr:Promela dbr:Drinker_paradox dbr:Nuel_Belnap dbr:Avicenna dbr:Deontic_logic dbr:Early_Islamic_philosophy dbr:Leslie_Lamport dbr:Logic dbr:Turing_Award dbr:Philosophy_of_logic dbr:Kristin_Yvonne_Rozier dbr:Moshe_Vardi dbr:List_of_University_of_Maryland,_Baltimore_County_people dbr:Patricia_Bouyer-Decitre dbr:Islamic_philosophy dbr:Wairarapa dbr:Child_development dbr:Formal_verification dbr:Gödel_Prize dbr:Model_checking dbr:Arthur_Prior dbr:Christopher_Isham dbr:Philosophical_logic dbr:Modal_μ-calculus dbr:Harry_R._Lewis dbr:Hybrid_logic dbr:James_F._Allen_(computer_scientist) dbr:Dynamic_logic_(modal_logic) dbr:Institution_(computer_science) dbr:Logic_in_Islamic_philosophy dbr:Concurrency_(computer_science) dbr:Duration_calculus dbr:Timed_propositional_temporal_logic dbr:Dov_Gabbay dbr:Gabbay's_separation_theorem dbr:Natural_deduction dbr:Imperative_logic dbr:The_Book_of_Healing dbr:Belief–desire–intention_software_model dbr:Grigore_Roșu dbr:Valentin_Goranko dbr:Cantor's_isomorphism_theorem dbr:Amir_Pnueli dbr:CTL* dbr:Charles_Leonard_Hamblin dbr:Computation_tree_logic dbr:Doron_A._Peled dbr:E._Allen_Emerson dbr:Faron_Moller dbr:Logic_in_computer_science dbr:Mihalis_Yannakakis dbr:Nicholas_Rescher dbr:Pierre_Wolper dbr:TLA+ dbr:Temporal_logic_of_actions dbr:Wolfgang_Rautenberg dbr:Modal_logic dbr:List_of_pioneers_in_computer_science dbr:Description_logic dbr:History_of_mathematical_notation dbr:Linear_time_property dbr:Property_Specification_Language dbr:State_(computer_science) dbr:Christel_Baier dbr:Zohar_Manna dbr:List_of_Israeli_inventions_and_discoveries dbr:Kripke_structure_(model_checking) dbr:Allen's_interval_algebra dbr:Concurrent_MetateM dbr:Fitch's_paradox_of_knowability dbr:Najm_al-Din_al-Qazwini_al-Katibi dbr:History_of_logic dbr:Culture_of_Israel dbr:Red_harvester_ant dbr:Duality_(mathematics) dbr:Problem_of_future_contingents dbr:List_of_University_of_Pittsburgh_faculty dbr:Véronique_Bruyère dbr:Vadalog dbr:Linear_temporal_logic dbr:CPN-AMI dbr:Deontic_modality dbr:Symbolic_artificial_intelligence dbr:Multimodal_logic dbr:Alternating-time_temporal_logic dbr:Ought_implies_can dbr:Outline_of_logic dbr:Pre-intuitionism dbr:Eventually_(mathematics) dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(R–Z) dbr:Reasoning_system dbr:HPO_formalism dbr:Outline_of_philosophy dbr:Spatial–temporal_reasoning dbr:Department_of_Mathematical_Logic_(Bulgarian_Academy_of_Sciences) dbr:Veridicality dbr:Common_Algebraic_Specification_Language dbr:PRISM_model_checker dbr:TAPAs_model_checker dbr:List_of_terms_relating_to_algorithms_and_data_structures dbr:Guarded_logic dbr:Interval_temporal_logic dbr:China_Energy_Research_Report dbr:Temporal_single-system_interpretation dbr:List_of_Massachusetts_Institute_of_Technology_alumni dbr:Purely_functional_programming dbr:Metric_temporal_logic dbr:Jose_Meseguer dbr:List_of_important_publications_in_theoretical_computer_science dbr:Probabilistic_CTL dbr:Tense_logic 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