The finite model property for logics with the tangle modality (Q1708103): Difference between revisions

@@ Property / DOI @@
-.1007/s11225-017-9732-1
@@ Property / DOI: 10.1007/s11225-017-9732-1 / rank @@
-Normal rank
@@ Property / author @@
-I. M. Hodkinson
@@ Property / author: I. M. Hodkinson / rank @@
-Normal rank
@@ Property / author @@
+I. M. Hodkinson
@@ Property / author: I. M. Hodkinson / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2618560206
@@ Property / OpenAlex ID: W2618560206 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01766
@@ Property / arXiv ID: 1603.01766 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal characterisation theorems over special classes of frames
+Normal rank
@@ Property / cites work @@
+A sound and complete axiomatization for Dynamic Topological Logic
+Normal rank
@@ Property / cites work @@
+On the modal definability of simulability by finite transitive models
+Normal rank
@@ Property / cites work @@
+Tangled modal logic for topological dynamics
@@ Property / cites work: Tangled modal logic for topological dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3773852
@@ Property / cites work: Q3773852 / rank @@
+Normal rank
@@ Property / cites work @@
+Spatial logic of tangled closure operators and modal mu-calculus
+Normal rank
@@ Property / cites work @@
+Q4636043
@@ Property / cites work: Q4636043 / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic
+Normal rank
@@ Property / cites work @@
+Derivational Modal Logics with the Difference Modality
+Normal rank
@@ Property / cites work @@
+The d-logic of the real line
@@ Property / cites work: The d-logic of the real line / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic over finite structures
@@ Property / cites work: Modal logic over finite structures / rank @@
+Normal rank
@@ Property / cites work @@
+« Everywhere » and « here »
@@ Property / cites work: « Everywhere » and « here » / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+A Sufficient Condition for the Finite Model Property of Modal Logics above K4
+Normal rank
@@ Property / DOI @@
+.1007/S11225-017-9732-1
@@ Property / DOI: 10.1007/S11225-017-9732-1 / rank @@
+Normal rank