On the expressive power of inquisitive epistemic logic.
Ivano CiardelliMartin OttoPublished in: CoRR (2023)
Keyphrases
- expressive power
- epistemic logic
- modal logic
- model checking
- first order logic
- inference rules
- logical framework
- multi agent systems
- query language
- dynamic epistemic logic
- multi faceted
- transitive closure
- computation tree logic
- relational algebra
- mathematical theory
- formal semantics
- temporal logic
- object oriented
- databases