198 search results - page 1 / 40 » Modal Proofs as Distributed Programs (Extended Abstract) |
77
Voted
ESOP
2004
Springer
15 years 3 months ago
2004
Springer
82
Voted
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
APAL
2005
14 years 10 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
15 years 7 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...
116
click to vote
DALT
2005
Springer
15 years 3 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...