scientific article; zbMATH DE number 7471713
From MaRDI portal
Publication:5028481
Angelo Montanari, Pietro Sala, Laura Bozzelli, Adriano Peron, Alberto Molinari
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/2006.04652
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Propositional interval neighborhood logics: expressiveness, decidability, and undecidable extensions
- Language in action
- Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives
- Expressiveness and completeness of an interval tense logic
- Temporal prepositions and their logic
- Two variable first-order logic over ordered domains
- Tableaux for Logics of Subinterval Structures over Dense Orderings
- A Modal Logic for Chopping Intervals
- A propositional modal logic of time intervals
- The Undecidability of the Logic of Subintervals
- Modal Logics of Regions and Minkowski Spacetime
