Modal extension of Łukasiewicz logic for reasoning about coalitional power.
Tomás KroupaBruno TeheuxPublished in: CoRR (2014)
Keyphrases
- modal logic
- modal operators
- formal theory
- linear time temporal logic
- nonmonotonic logics
- tableau calculus
- logic programming
- partially ordered
- classical logic
- spatial reasoning
- dynamic logic
- proof theoretic
- probabilistic logic
- causal reasoning
- epistemic logic
- temporal logic
- neural network
- situation calculus
- solution concepts
- transition systems
- power consumption