Propositional interval neighborhood logics: Expressiveness, decidability, and undecidable extensions-Reference-Cited by-同舟云学术

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

Published:2009-12 Issue:3 Volume:161 Page:289-304
ISSN:0168-0072
Container-title:Annals of Pure and Applied Logic
language:en
Short-container-title:Annals of Pure and Applied Logic

Author:

Bresolin Davide,Goranko Valentin,Montanari Angelo,Sciavicco Guido

Publisher

Elsevier BV

Subject

Logic

Reference27 articles.

1. Perspectives of Mathematical Logic;Börger,1997

2. D. Bresolin, V. Goranko, A. Montanari, P. Sala, Tableau-based decision procedure for the logic of proper subinterval structures over dense orderings, in: C. Areces, S. Demri (Eds.), Proc. of the 5th International Workshop on Methods for Modalities, M4M, 2007, pp. 335–351

3. Tableau systems for logics of subinterval structures over dense orderings;Bresolin,2007

4. A tableau-based decision procedure for Right Propositional Neighborhood Logic;Bresolin,2005

5. An optimal tableau-based decision algorithm for Propositional Neighborhood Logic;Bresolin,2007

Cited by 54 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Adding a Degree of Certainty to Deductions in a Fuzzy Temporal Constraint Prolog: FTCProlog;Axioms;2024-07-12

2. Pspace-completeness of the temporal logic of sub-intervals and suffixes;Information and Computation;2023-10

3. Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption;Logical Methods in Computer Science;2022-02-01

4. A separation theorem for discrete-time interval temporal logic;Journal of Applied Non-Classical Logics;2022-01-02

5. Complexity analysis of a unifying algorithm for model checking interval temporal logic;Information and Computation;2021-10