From Non-punctuality to Non-adjacency: A Quest for Decidability of Timed Temporal Logics with Quantifiers.
Shankara Narayanan KrishnaKhushraj MadnaniManuel Mazo Jr.Paritosh K. PandyaPublished in: Formal Aspects Comput. (2023)
Keyphrases
- temporal logic
- automata theoretic
- model checking
- modal logic
- verification method
- petri net
- mazurkiewicz traces
- decision procedures
- description logics
- satisfiability problem
- concurrent systems
- query answering
- first order logic
- linear temporal logic
- temporal knowledge
- natural language
- computation tree logic
- inference rules
- predicate logic
- transition systems
- belief revision
- knowledge representation
- reactive systems
- formal specification
- distributed systems
- markov chain
- lower bound