3515 search results - page 17 / 703 » On the semantics of Strategy Logic |
149
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
We solve the open problem of the decidability of Boolean BI logic (BBI), which can be considered as the core of separation and spatial logics. For this, we define a complete phas...
162
click to vote
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
152
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
194
click to vote
ESORICS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Security policies, in particular access control, are fundamental elements of computer security. We address the problem of authoring and analyzing policies in a modular wa...