366 search results - page 27 / 74 » Reasoning about relational granulation in modal logics |
123
click to vote
LICS
2012
IEEE
13 years 2 months ago
2012
IEEE
Abstract—We investigate some basic questions about the interaction of regular and rational relations on words. The primary motivation comes from the study of logics for querying ...
91
Voted
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
The original semantics of Evaluation Logic in [Mog93] relies on additional properties of strong monads. This paper extends the original semantics by dropping all additional requir...
192
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
117
click to vote
JOLLI
2010
14 years 6 months ago
2010
The aim of this paper, is to provide a logical framework for reasoning about actions, agency, and powers of agents and coalitions in game-like multi-agent systems. First we define ...
CSL
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. Graded path quantifiers have been recently introduced and investigated as a useful framework for generalizing standard existential and universal path quantifiers in the b...