Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions

Annals of Pure and Applied Logic 161 (3):289-304 (2009)
Download Edit this record How to cite View on PhilPapers
Abstract
In this paper, we investigate the expressiveness of the variety of propositional interval neighborhood logics , we establish their decidability on linearly ordered domains and some important subclasses, and we prove the undecidability of a number of extensions of PNL with additional modalities over interval relations. All together, we show that PNL form a quite expressive and nearly maximal decidable fragment of Halpern–Shoham’s interval logic HS
Categories
(categorize this paper)
PhilPapers/Archive ID
BREPIN
Upload history
Archival date: 2018-04-20
View other versions
Added to PP index
2013-12-22

Total views
73 ( #38,163 of 51,428 )

Recent downloads (6 months)
21 ( #26,662 of 51,428 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.