2573 search results - page 122 / 515 » Combinations of Modal Logics |
133
click to vote
WMCSA
2000
IEEE
15 years 8 months ago
2000
IEEE
The Post-PC revolution is bringing information access to a wide-range of devices beyond the desktop, such as public kiosks, and mobile devices like cellular telephones, PDAs, and ...
153
click to vote
ICTL
1994
15 years 8 months ago
1994
We introduce a temporal logic TAL and prove that it has several nice features. The formalism is a two-dimensional modal system in the sense that formulas of the language are evalua...
155
click to vote
ISMIS
1994
Springer
15 years 8 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
186
click to vote
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
The aim of this paper is to provide a logical framework for the specification of autonomous Multi-Agent Systems (MAS). A MAS is autonomous in so far as it is capable of binding (...
161
click to vote
APAL
2005
15 years 4 months ago
2005
Dynamic Topological Logic provides a context for studying the confluence of the topological semantics for S4, based on topological spaces rather than Kripke frames; topological dy...