Sciweavers

797 search results - page 37 / 160
» Logics with an existential modality
Sort
View
LOGCOM
2006
105views more  LOGCOM 2006»
13 years 11 months ago
A Hybrid Intuitionistic Logic: Semantics and Decidability
An intuitionistic, hybrid modal logic suitable for reasoning about distribution of resources was introduced in [14, 15]. The modalities of the logic allow us to validate propertie...
Rohit Chadha, Damiano Macedonio, Vladimiro Sassone
ENTCS
2011
125views more  ENTCS 2011»
13 years 2 months ago
A Hybrid Public Announcement Logic with Distributed Knowledge
In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has be...
Jens Ulrik Hansen
APLAS
2007
ACM
14 years 3 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 5 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
14 years 22 days 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