366 search results - page 37 / 74 » Reasoning about relational granulation in modal logics |
BIRTHDAY
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
DEON
2008
Springer
15 years 1 months ago
2008
Springer
The security policy of an information system may include a wide range of different requirements. The literature has primarily focused on access and information flow control require...
ISMIS
2005
Springer
15 years 5 months ago
2005
Springer
Deontic logic is appropriate to model a wide variety of legal arguments, however this logic suffers form certain paradoxes of which the so-called Chisholm is one of the most notor...
GEOS
2005
Springer
15 years 5 months ago
2005
Springer
Continuously moving objects are prevalent in many domains. Although there have been attempts to combine both spatial and temporal relationships from a reasoning, a database, as wel...
114
click to vote
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...