1498 search results - page 7 / 300 » Description logic for coalitions |
TARK
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we show how coalition logic can be reduced to the fusion of a normal modal STIT logic for agency and a standard normal temporal logic for discrete time, and how this...
DLOG
2007
15 years 1 days ago
2007
ENTCS
2006
14 years 9 months ago
2006
FOSSACS
2008
Springer
14 years 11 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
ENTCS
2008
14 years 9 months ago
2008
We study sequent calculi for propositional modal logics, interpreted over coalgebras, with admissibility of cut being the main result. As applications we present a new proof of th...