28 search results - page 2 / 6 » apal 2005 |
APAL
2005
13 years 4 months ago
2005
Pudl
APAL
2005
13 years 4 months ago
2005
APAL
2005
13 years 4 months ago
2005
A new semantics is presented for the logic of proofs (LP), [1, 2], based on the intuition that it is a logic of explicit knowledge. This semantics is used to give new proofs of se...
APAL
2005
13 years 4 months ago
2005
The notions of common knowledge or common belief play an important role in several areas of computer science (e.g. distributed systems, communication), in philosophy, game theory,...
APAL
2005
13 years 4 months ago
2005
We introduce a generalization of Independence Friendly (IF) logic in which Eloise (the player) is restricted to a finite amount of information about Abelard's ('s) move...