331 search results - page 22 / 67 » Quantified coalition logic |
FOSSACS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
We study the model checking problem, for fixed structures A, over positive equality-free first-order logic
JSYML
2002
13 years 8 months ago
2002
An interpolation theorem holds for many standard modal logics, but first order S5 is a prominent example of a logic for which it fails. In this paper it is shown that a first orde...
ATAL
2006
Springer
14 years 15 days ago
2006
Springer
We present a logic for reasoning both about the ability of agents to cooperate to execute complex actions, and how this relates to their ability to reach certain states of affairs...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...