About: Computation tree logic

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

Theory in computer science

Property	Value
dbo:description	Theory in computer science (en) logika temporalna (pl) temporale Logik mit Baumstruktur (de)
dbo:wikiPageExternalLink	https://www.cs.cmu.edu/afs/cs/user/emc/www/papers/Invited%20Conference%20Articles/Design%20and%20Synthesis%20of%20Synchronization%20Skeletons%20Using%20Branching%20Time%20Temporal%20Logic.pdf http://www.inf.unibz.it/~artale/FM/slide4.pdf
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Fair_computational_tree_logic dbr:Tree_(graph_theory) dbr:First-order_logic dbc:Automata_(computation) dbr:Atomic_formula dbr:False_(logic) dbc:Logic_in_computer_science dbr:Well-formed_formula dbr:Time dbr:CTL* dbr:Probabilistic_CTL dbr:Truth dbr:Transition_system dbr:E._Allen_Emerson dbr:Edmund_M._Clarke dbr:Logical_connective dbr:Logical_operator dbr:Context-free_grammar dbr:Mathematical_logic dbr:PSPACE-complete dbr:Undecidable_problem dbr:De_Morgan's_laws dbr:Formal_verification dbr:Graph_(discrete_mathematics) dbc:Temporal_logic dbr:Temporal_logic dbr:Linear_temporal_logic dbr:Alternating-time_temporal_logic dbr:Monadic_second-order_logic dbr:Model_checker dbr:Entailment dbr:Well_formed_formula dbr:Concurrent_program dbr:Regular_Language dbr:Safety_and_Liveness_Properties dbr:Modal_mu_calculus
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Reflist dbt:Cite_journal dbt:More_footnotes dbt:Short_description
dct:subject	dbc:Automata_(computation) dbc:Logic_in_computer_science dbc:Temporal_logic
gold:hypernym	dbr:Logic
rdfs:label	Computation tree logic (en) Λογική υπολογιστικού δένδρου (el) Computation Tree Logic (de) 計算木論理 (ja) 계산 트리 논리 (ko) Árvore Lógica Computacional (pt) Logika CTL (pl) Lógica de Árvore de Computação (pt)
owl:sameAs	freebase:Computation tree logic wikidata:Computation tree logic wikidata:Computation tree logic dbpedia-de:Computation tree logic dbpedia-ja:Computation tree logic dbpedia-pt:Computation tree logic dbpedia-pt:Computation tree logic dbpedia-fa:Computation tree logic dbpedia-pl:Computation tree logic dbpedia-ko:Computation tree logic dbpedia-el:Computation tree logic dbpedia-global:Computation tree logic dbr:Computation tree logic
prov:wasDerivedFrom	wikipedia-en:Computation_tree_logic?oldid=1264712873&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Computation_tree_logic
is dbo:knownFor of	dbr:E._Allen_Emerson
is dbo:wikiPageDisambiguates of	dbr:CTL
is dbo:wikiPageRedirects of	dbr:Computational_tree_logic dbr:CTL_(logic)
is dbo:wikiPageWikiLink of	dbr:Model_checking dbr:CTL dbr:2-EXPTIME dbr:Modal_logic dbr:Concurrency_(computer_science) dbr:Kripke_structure_(model_checking) dbr:CTL* dbr:Probabilistic_CTL dbr:Abstract_model_checking dbr:E._Allen_Emerson dbr:List_of_computing_and_IT_abbreviations dbr:List_of_model_checking_tools dbr:Stuttering_equivalence dbr:TAPAAL_Model_Checker dbr:Temporal_logic dbr:Linear_temporal_logic dbr:Infer_Static_Analyzer dbr:Alternating-time_temporal_logic dbr:Linear_time_property dbr:Principles_of_Model_Checking dbr:NuSMV dbr:TLA+ dbr:Computational_tree_logic dbr:CTL_(logic)
is foaf:primaryTopic of	wikipedia-en:Computation_tree_logic