Characterising modal definability of team-based logics via the universal modality.
Katsuhiko SanoJonni VirtemaPublished in: Ann. Pure Appl. Log. (2019)
Keyphrases
- modal logic
- nonmonotonic logics
- propositional logic
- multi modal
- inference rules
- decision procedures
- temporal logic
- epistemic logic
- fixed point
- expressive power
- conditional logic
- team members
- classical logic
- medical images
- default logic
- propositional variables
- virtual teams
- situation calculus
- robotic soccer
- kripke models
- first order logic
- sequence prediction
- cooperating agents