198 search results - page 1 / 40 » Modal Proofs as Distributed Programs (Extended Abstract) |
ESOP
2004
Springer
14 years 1 months ago
2004
Springer
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
APAL
2005
13 years 8 months ago
2005
In this paper we consider distributive modal logic, a setting in which we may add modalities, such as classical types of modalities as well as weak forms of negation, to the fragm...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
DALT
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...