331 search results - page 8 / 67 » Quantified coalition logic |
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
ENTCS
2010
13 years 7 months ago
2010
ENTCS
2006
13 years 7 months ago
2006
FOSSACS
2008
Springer
13 years 9 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
13 years 7 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...