Login / Signup
Linear Non-Transitive Temporal Logic, Knowledge Operations, Algorithms for Admissibility.
Vladimir V. Rybakov
Published in:
CoRR (2014)
Keyphrases
</>
temporal logic
knowledge acquisition
model checking
knowledge representation
satisfiability problem
temporal knowledge
verification method
knowledge base
computational complexity
modal logic
dynamic constraints
linear temporal logic
mazurkiewicz traces