Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
type: Item
instance of: scholarly article
title: Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
zbMATH Open document ID: 1221.03022
author: Davide Bresolin
author: Angelo Montanari
author: Guido Sciavicco
author: Valentin Goranko
published in: Annals of Pure and Applied Logic
publication date: 2011-08-26T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 5943590
zbMATH Keywords: neighborhood interval logics
zbMATH Keywords: expressiveness
zbMATH Keywords: two-variable fragment
zbMATH Keywords: decidability
zbMATH Keywords: undecidability
MaRDI profile type: Publication
full work available at URL: j.apal.2009.07.003
OpenAlex ID: W2087983477
cites work: Q5691140
cites work: Tableau Systems for Logics of Subinterval Structures over Dense Orderings
cites work: Automated Reasoning with Analytic Tableaux and Related Methods
cites work: An Optimal Tableau-Based Decision Algorithm for Propositional Neighborhood Logic
cites work: Optimal Tableaux for Right Propositional Neighborhood Logic over Linear Orders
cites work: An optimal decision procedure for right propositional neighborhood logic
cites work: First-order logic with two variables and unary temporal logic
cites work: Q3835817
cites work: A Road Map of Interval Temporal Logics and Duration Calculi
cites work: A general tableau method for propositional interval temporal logics: theory and implementation
cites work: On the Decision Problem for Two-Variable First-Order Logic
cites work: A propositional modal logic of time intervals
cites work: Definability with bounded number of bound variables
cites work: Q2766545
cites work: Undecidability of compass logic
cites work: Q4708923
cites work: On languages with two variables
cites work: Two variable first-order logic over ordered domains
cites work: Q5311049
cites work: Expressiveness and completeness of an interval tense logic
cites work: A Modal Logic for Chopping Intervals
DOI: 10.1016/J.APAL.2009.07.003
description: scientific article; zbMATH DE number 5943590