Quantified Temporal Alethic Boulesic Doxastic Logic.
Daniel RönnedalPublished in: Logica Universalis (2021)
Keyphrases
- epistemic logic
- linear temporal logic
- temporal information
- spatio temporal
- modal logic
- temporal constraints
- classical logic
- temporal databases
- temporal data
- spatial and temporal
- logic programming
- artificial intelligence
- temporal analysis
- temporal reasoning
- multi agent systems
- multi valued
- temporal evolution
- predicate logic
- databases
- bayesian networks
- database systems
- logical framework
- case study
- temporal aspects
- information systems
- asynchronous circuits
- proof theory
- model checking