About: Temporal logic

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

Property	Value
dbo:wikiPageID	30577353 (xsd:integer)
dbo:wikiPageRevisionID	951120373 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Commons dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Temporal logic (en)
owl:sameAs	dbpedia-commons:Temporal logic
skos:broader	dbc:Formal_specification_languages dbc:Concurrency_(computer_science) dbc:Logic_in_computer_science dbc:Modal_logic dbc:Model_checking
skos:prefLabel	Temporal logic (en)
prov:wasDerivedFrom	wikipedia-en:Category:Temporal_logic?oldid=951120373&ns=14
is dbo:wikiPageWikiLink of	dbr:Duration_calculus dbr:Interval_temporal_logic dbr:Timed_propositional_temporal_logic dbr:Computation_tree_logic dbr:Temporal_logic_of_actions dbr:Linear-time_temporal_logic dbr:Linear_temporal_logic dbr:Linear_temporal_logic_to_Büchi_automaton dbr:Fair_computational_tree_logic dbr:Temporal_logic dbr:CTL* dbr:Kripke_structure_(model_checking) dbr:Metric_temporal_logic dbr:Probabilistic_CTL
is dcterms:subject of	dbr:Duration_calculus dbr:Interval_temporal_logic dbr:Timed_propositional_temporal_logic dbr:Computation_tree_logic dbr:Temporal_logic_of_actions dbr:Linear-time_temporal_logic dbr:Linear_temporal_logic dbr:Linear_temporal_logic_to_Büchi_automaton dbr:Fair_computational_tree_logic dbr:Temporal_logic dbr:CTL* dbr:Kripke_structure_(model_checking) dbr:Metric_temporal_logic dbr:Probabilistic_CTL

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License