About: Timed propositional temporal logic

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

unknown

Property Value
dbo:wikiPageWikiLink
dbp:date
  • February 2025 (en)
dbp:reason
  • '\phi' should be '\xi'? (en)
  • 'y' should be 'x'? (en)
  • Since the set of logical connectives is chosen minimal , the same could be done here. If times are ordered totally, \leq would be sufficient. (en)
  • The set of clocks of a formula needs to be introduced . (en)
dbp:wikiPageUsesTemplate
dct:subject
rdfs:label
  • Timed propositional temporal logic (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International