The finite model property for logics with the tangle modality

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

zbMATH Keywords

filtrationfinite model propertyKripke frameconnecteduniversal modalitytangle modality

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

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