milkbread
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
6
6
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
Temporal logic
Temporal logic
Concept
http://dbpedia.org/resource/Category:Temporal_logic
Kripke structure (model checking)
Linear temporal logic
CTL*
Computation tree logic
Duration calculus
Fair computational tree logic
Interval temporal logic
Linear-time temporal logic
Linear temporal logic to Büchi automaton
Probabilistic CTL
Temporal logic
Temporal logic in finite-state verification
Temporal logic of actions
subject
Temporal logic
Concept
http://dbpedia.org/resource/Category:Temporal_logic
Wikipage page ID
30,577,353
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
481,028,175
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Temporal logic
@en
sameAs
Category:時相論理
Kategoria:Logika_temporalna
Q8842299
Q8842299
broader
Concurrency (computer science)
Formal specification languages
Logic in computer science
Modal logic
Model checking
Philosophy of time
prefLabel
Temporal logic
@en
wasDerivedFrom
Category:Temporal_logic?oldid=481028175