2573 search results - page 83 / 515 » Combinations of Modal Logics |
182
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
The action language A is a simple high-level language for describing transition systems. In this paper, we extend the action language A by allowing a unary modal operator in the u...
175
click to vote
MOBICOM
2009
ACM
16 years 24 days ago
2009
ACM
A growing number of mobile computing applications are centered around the user’s location. The notion of location is broad, ranging from physical coordinates (latitude/longitude...
152
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In the last few years, argumentation frameworks have been successfully applied to multi agent systems. Recently, argumentation has been used to provide a framework for reasoning a...
160
click to vote
JELIA
2004
Springer
15 years 11 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
162
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...