183 search results - page 16 / 37 » Exemplaric Expressivity of Modal Logics |
ESORICS
2006
Springer
14 years 1 months ago
2006
Springer
We propose a logic for specifying security policies at a very el of abstraction. The logic accommodates the subjective nature of affirmations for authorization and knowledge withou...
LICS
2005
IEEE
14 years 3 months ago
2005
IEEE
We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthemā...
ATAL
2009
Springer
14 years 4 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
FAABS
2000
Springer
14 years 1 months ago
2000
Springer
This paper discusses automated reasoning in the KARO framework. The KARO framework accommodates a range of expressive modal logics for describing the behaviour of intelligent agent...
LATIN
2004
Springer
14 years 3 months ago
2004
Springer
The paper settles a long standing problem for Mazurkiewicz traces: the pure future local temporal logic deļ¬ned with the basic modalities exists-next and until is expressively com...