Epistemic extensions of substructural inquisitive logics.
Vít PuncochárIgor SedlárPublished in: J. Log. Comput. (2021)
Keyphrases
- propositional calculus
- epistemic logic
- default logic
- modal logic
- propositional dynamic logic
- modal operators
- expressive power
- efficient implementation
- inference rules
- classical logic
- dynamic epistemic logic
- real time
- nonmonotonic logics
- decision procedures
- belief change
- model checking
- databases
- data sets
- multi agent systems
- data mining
- horn logic