Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions (original) (raw)
Related papers
On Decidability and Expressiveness of Propositional Interval Neighborhood Logics
Lecture Notes in Computer Science, 2007
On First-Order Propositional Neighborhood Logics: a First Attempt
Propositional interval neighborhood temporal logics
2003
J. Univers. Comput. Sci., 2012
An optimal decision procedure for right propositional neighborhood logic
Metric propositional neighborhood logics: expressiveness, decidability, and undecidability
2010
Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
Lecture Notes in Computer Science, 2010
Metric propositional neighborhood logics on natural numbers
Guido Sciavicco, Angelo Montanari
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders
Guido Sciavicco, Valentin Goranko
2011
Interval Temporal Logics over Strongly Discrete Linear Orders: the Complete Picture
Interval temporal logics over strongly discrete linear orders: Expressiveness and complexity
Theoretical Computer Science, 2014
Lecture Notes in Computer Science, 2008
Failures of the Interpolation Lemma in Quantified Modal Logic
Guilherme Messias Pereira Lima
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL
Proceedings - Symposium on Logic in Computer Science
Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
Lecture Notes in Computer Science, 2008
On Strong Neighbourhood Completeness Of Modal And Intermediate Propositional Logics (Part II)
Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership
DOAJ (DOAJ: Directory of Open Access Journals), 2020
Information and Computation, 2019
Modal Languages and Bounded Fragments of Predicate Logic
Journal of Philosophical Logic, 1998
Decidability of order-based modal logics
Journal of Computer and System Sciences, 2017
Representability in second-order propositional poly-modal logic
Journal of Symbolic Logic, 2002
The Importance of the Past in Interval Temporal Logics: The Case of Propositional Neighborhood Logic
Lecture Notes in Computer Science, 2012
Completeness of neighbourhood logic
Journal of Logic and Computation, 2000
The Dark Side of Interval Temporal Logic: Sharpening the Undecidability Border