Sciweavers

825 search results - page 33 / 165
» Modal Logics with Counting
Sort
View
APLAS
2007
ACM
13 years 11 months ago
Call-by-Name and Call-by-Value in Normal Modal Logic
Abstract. This paper provides a call-by-name and a call-by-value calculus, both of which have a Curry-Howard correspondence to the minimal normal logic K. The calculi are extension...
Yoshihiko Kakutani
TIME
2009
IEEE
14 years 2 months ago
Undecidability of Interval Temporal Logics with the Overlap Modality
We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these...
Davide Bresolin, Dario Della Monica, Valentin Gora...
DEON
2008
Springer
13 years 9 months ago
Pushing Anderson's Envelope: The Modal Logic of Ascription
The paper proposes a formal analysis of the ascriptive view of norms as resulting from pulling together Anderson's reductionist approach, the analysis of counts-as, and a nove...
Davide Grossi
CORR
2006
Springer
130views Education» more  CORR 2006»
13 years 7 months ago
Characterizing the NP-PSPACE Gap in the Satisfiability Problem for Modal Logic
There has been a great deal of work on characterizing the complexity of the satisfiability and validity problem for modal logics. In particular, Ladner showed that the consistency...
Joseph Y. Halpern, Leandro Chaves Rêgo
ENTCS
2007
151views more  ENTCS 2007»
13 years 7 months ago
Coalgebraic Modal Logic Beyond Sets
Polyadic coalgebraic modal logic is studied in the setting of locally presentable categories. It is shown that under certain assumptions, accessible functors admit expressive logi...
Bartek Klin