3228 search results - page 130 / 646 » Computationally Sound Proofs |
127
Voted
CSL
2004
Springer
15 years 7 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
148
click to vote
AIML
2008
15 years 4 months ago
2008
Arbitrary public announcement logic (APAL) is an extension of multi-agent epistemic logic that allows agents' knowledge states to be updated by the public announcement of (pos...
125
click to vote
COMMA
2006
15 years 4 months ago
2006
Abstract. This paper proposes an argument-based semantics for combined epistemic and practical reasoning, taking seriously the idea that in certain contexts epistemic reasoning is ...
111
click to vote
APAL
2010
15 years 3 months ago
2010
We introduce a notion of Kripke model for classical logic for which we constructively prove soundness and cut-free completeness. We discuss the meaning of the new notion and its a...
124
Voted
APAL
2008
15 years 3 months ago
2008
Inspired by recent work on approximations of classical logic, we present a method that approximates several modal logics in a modular way. Our starting point is the limitation of ...