Axiomatizing Epistemic Logic of Friendship via Tree Sequent Calculus.
Katsuhiko SanoPublished in: LORI (2017)
Keyphrases
- epistemic logic
- sequent calculus
- modal logic
- inference rules
- cut elimination
- temporal logic
- logical framework
- dynamic epistemic logic
- linear logic
- model checking
- linear time temporal logic
- first order logic
- classical logic
- theorem proving
- multi faceted
- image processing
- situation calculus
- multi agent systems
- mathematical theory
- programming language
- general purpose
- supervised learning