This HTML5 document contains 34 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

PrefixNamespace IRI
rdfshttp://www.w3.org/2000/01/rdf-schema#
skoshttp://www.w3.org/2004/02/skos/core#
n6http://en.wikipedia.org/wiki/E_(verification_language)
n12http://en.wikipedia.org/wiki/Institution_(computer_science)
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
clgohttp://caligraph.org/ontology/
n7http://en.wikipedia.org/wiki/
provhttp://www.w3.org/ns/prov#
n11http://en.wikipedia.org/wiki/TLA%2B
xsdhhttp://www.w3.org/2001/XMLSchema#
dbrhttp://dbpedia.org/resource/
n10http://en.wikipedia.org/wiki/Index_of_philosophy_articles_(R%E2%80%93Z)
clgrhttp://caligraph.org/resource/
Subject Item
clgr:Valentin_Goranko
clgo:knownFor
clgr:Temporal_logic
Subject Item
clgr:Nuel_Belnap
clgo:mainInterest
clgr:Temporal_logic
Subject Item
clgr:Arthur_Prior
clgo:notableIdea
clgr:Temporal_logic
Subject Item
clgr:Temporal_logic
rdf:type
clgo:Term_relating_to_algorithms_and_data_structures owl:NamedIndividual
rdfs:label
Temporal logic
owl:sameAs
dbr:Temporal_logic
prov:wasDerivedFrom
n6: n7:Outline_of_logic n10: n7:Outline_of_philosophy n11: n12: n7:Timed_propositional_temporal_logic n7:Epistemic_modality n7:Cultural_algorithm n7:Temporal_logic n7:List_of_terms_relating_to_algorithms_and_data_structures n7:Metric_temporal_logic n7:Property_Specification_Language
skos:prefLabel
Temporal logic
skos:altLabel
Temporal learning sufficient to define the other two temporal temporally temporal modal logic Prior's tense logic (TL) temporal logic temporal operator temporal logics temporal formulas tense logic situations branches of timelines