198 search results - page 1 / 40 » Modal Proofs as Distributed Programs (Extended Abstract) |
154
Voted
ESOP
2004
Springer
16 years 6 days ago
2004
Springer
167
Voted
ESOP
2007
Springer
16 years 29 days ago
2007
Springer
168
click to vote
APAL
2005
15 years 6 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...
191
click to vote
POPL
2010
ACM
16 years 4 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...
202
Voted
DALT
2005
Springer
16 years 10 days 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...