Characterising Modal Definability of Team-Based Logics via the Universal Modality.
Katsuhiko SanoJonni VirtemaPublished in: CoRR (2015)
Keyphrases
- modal logic
- nonmonotonic logics
- propositional logic
- multi modal
- temporal logic
- robotic soccer
- inference rules
- conditional logic
- medical images
- fixed point
- expressive power
- default logic
- decision procedures
- propositional variables
- epistemic logic
- classical logic
- team members
- robot soccer
- sequence prediction
- databases
- propositional calculus
- modal operators
- model checking
- cooperative
- reinforcement learning
- neural network