Unification in epistemic logics.
Philippe BalbianiÇigdem GencerPublished in: J. Appl. Non Class. Logics (2017)
Keyphrases
- epistemic logic
- modal logic
- propositional dynamic logic
- modal operators
- dynamic epistemic logic
- model checking
- inference rules
- computation tree logic
- temporal logic
- expressive power
- theorem proving
- kripke models
- higher order
- theorem prover
- multi faceted
- propositional calculus
- logical framework
- multi agent systems
- decision procedures
- formal semantics
- nonmonotonic logics
- automated theorem proving
- dynamic logic
- proof theoretic
- equational theories
- default logic
- theoretical framework
- search engine
- logic program updates