The finite model property for logics with the tangle modality
From MaRDI portal
Publication:1708103
DOI10.1007/S11225-017-9732-1zbMath1437.03087arXiv1603.01766OpenAlexW2618560206WikidataQ59614331 ScholiaQ59614331MaRDI QIDQ1708103
Robert Goldblatt, I. M. Hodkinson
Publication date: 4 April 2018
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1603.01766
Related Items (5)
COMPLETE INTUITIONISTIC TEMPORAL LOGICS FOR TOPOLOGICAL DYNAMICS ⋮ Fixed point logics and definable topological properties ⋮ Decidability of modal logics of non-\(k\)-colorable graphs ⋮ Fixed point logics and definable topological properties ⋮ STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Spatial logic of tangled closure operators and modal mu-calculus
- Modal characterisation theorems over special classes of frames
- On the modal definability of simulability by finite transitive models
- Tangled modal logic for topological dynamics
- Modal logic over finite structures
- A lattice-theoretical fixpoint theorem and its applications
- A sound and complete axiomatization for Dynamic Topological Logic
- A Sufficient Condition for the Finite Model Property of Modal Logics above K4
- « Everywhere » and « here »
- The d-logic of the real line
- Derivational Modal Logics with the Difference Modality
- On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
This page was built for publication: The finite model property for logics with the tangle modality
