148 search results - page 13 / 30 » apal 2007 |
117
click to vote
APAL
2005
15 years 13 days 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,...
87
Voted
APAL
2005
15 years 13 days 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...
53
Voted
APAL
2005
15 years 13 days ago
2005
The class of geometric surgical theories (which includes all o-minimal theories) is examined. The main theorem is that every stable theory that is interpretable in a geometric sur...
APAL
2005
15 years 13 days ago
2005
We give a broad discussion of reflection principles in explicit mathematics, thereby addressing various kinds of universe existence principles. The proof-theoretic strength of the...
APAL
2005
15 years 13 days 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...