Temporal logic - CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Term relating to algorithms and data structures
rdfs:label	Temporal logic
owl:sameAs	dbr:Temporal_logic
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Temporal_logic http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(R%E2%80%93Z) http://en.wikipedia.org/wiki/List_of_terms_relating_to_algorithms_and_data_structures http://en.wikipedia.org/wiki/Outline_of_logic http://en.wikipedia.org/wiki/Outline_of_philosophy http://en.wikipedia.org/wiki/E_(verification_language) http://en.wikipedia.org/wiki/Metric_temporal_logic http://en.wikipedia.org/wiki/TLA%2B http://en.wikipedia.org/wiki/Property_Specification_Language http://en.wikipedia.org/wiki/Timed_propositional_temporal_logic http://en.wikipedia.org/wiki/Cultural_algorithm http://en.wikipedia.org/wiki/Institution_(computer_science) http://en.wikipedia.org/wiki/Epistemic_modality
skos:prefLabel	Temporal logic
skos:altLabel	situations temporal temporally Prior's tense logic (TL) Temporal learning branches of timelines sufficient to define the other two temporal formulas temporal logic temporal logics temporal modal logic temporal operator tense logic
is clgo:knownFor of	Valentin Goranko
is clgo:mainInterest of	Nuel Belnap
is clgo:notableIdea of	Arthur Prior

About: clgr:Temporal_logic