Temporal logics with language parameters.
Jens Oliver GutsfeldMarkus Müller-OlmChristian DielitzPublished in: Inf. Comput. (2023)
Keyphrases
- temporal logic
- model checking
- mazurkiewicz traces
- modal logic
- concurrent systems
- linear temporal logic
- programming language
- belief revision
- satisfiability problem
- search algorithm
- computational linguistics
- predicate logic
- model checker
- temporal knowledge
- modal operators
- constraint satisfaction
- high resolution
- natural language