4573 search results - page 703 / 915 » Automated Reasoning |
126
click to vote
TARK
2005
Springer
15 years 9 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
117
Voted
TARK
2005
Springer
15 years 9 months ago
2005
Springer
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...
132
Voted
TARK
2005
Springer
15 years 9 months ago
2005
Springer
s for Multi-Agent Only Knowing (extended abstract) Arild Waaler1,2 and Bjørnar Solhaug3,4 1 Finnmark College, Norway 2 Dep. of Informatics, University of Oslo, Norway 3 SINTEF ICT...
120
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. For nested or heterogeneous datatypes, terminating recursion schemes considered so far have been instances of iteration, excluding efficient definitions of fixed-point ...
126
Voted
CSL
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...