711 search results - page 138 / 143 » Modal Logics are Coalgebraic |
CSFW
2002
IEEE
15 years 2 months ago
2002
IEEE
We introduce a general framework for reasoning about secrecy requirements in multiagent systems. Because secrecy requirements are closely connected with the knowledge of individua...
CSFW
1992
IEEE
15 years 2 months ago
1992
IEEE
Most security models explicitly (or implicitly) include the tranquillity principle which prohibits changing the security level of a given piece of information. Yet in practical sy...
KR
1994
Springer
15 years 2 months ago
1994
Springer
We focus in this paper on some meta-level ontological distinctions among unary predicates, like those between concepts and assertional properties. Three are the main contributions...
IFIP
1992
Springer
15 years 2 months ago
1992
Springer
Retrieving relevant information in Data and Knowledge Bases containing a large number of di erent types of information is a non trivial problem. That is the reason why, in areas l...
111
click to vote
CAV
2009
Springer
15 years 1 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...