Sciweavers

886 search results - page 77 / 178
» Modal logic and invariance
Sort
View
BIRTHDAY
2005
Springer
14 years 3 months ago
A Modal View on Polder Politics
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
Wouter van Atteveldt, Stefan Schlobach
LICS
2008
IEEE
14 years 4 months ago
A Logic for Algebraic Effects
We present a logic for algebraic effects, based on the algebraic representation of computational effects by operations and equations. We begin with the a-calculus, a minimal calcu...
Gordon D. Plotkin, Matija Pretnar
ESORICS
2006
Springer
14 years 1 months ago
A Linear Logic of Authorization and Knowledge
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...
Deepak Garg, Lujo Bauer, Kevin D. Bowers, Frank Pf...
CADE
2010
Springer
13 years 11 months ago
Global Caching for Coalgebraic Description Logics
Coalgebraic description logics offer a common semantic umbrella for extensions of description logics with reasoning principles outside relational semantics, e.g. quantitative uncer...
Rajeev Goré, Clemens Kupke, Dirk Pattinson,...
JOLLI
2010
171views more  JOLLI 2010»
13 years 4 months ago
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
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 ...
Andreas Herzig, Emiliano Lorini