81 search results - page 4 / 17 » Sound and Complete Tree-Sequent Calculus for Inquisitive Log... |
89
Voted
JAPLL
2007
15 years 10 days ago
2007
Starting off from the infinitary system for common knowledge over multi-modal epistemic logic presented in Alberucci and J¨ager [1], we apply the finite model property to “...
103
click to vote
IWFM
2003
15 years 1 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
104
Voted
ACS
2005
15 years 10 days ago
2005
There are several kinds of linear typed calculus in the literature, some with their associated notion of categorical model. Our aim in this paper is to systematise the relationshi...
96
Voted
INFORMATICALT
2006
15 years 12 days ago
2006
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...
99
Voted
CSL
2002
Springer
15 years 7 days ago
2002
Springer
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin's system for the intuitionistic...