Non-finitely axiomatisable two-dimensional modal logics (Q2915901): Difference between revisions

@@ Property / cites work @@
+Complexity of equations valid in algebras of relations. I: Strong non-finitizability
+Normal rank
@@ Property / cites work @@
+A survey of temporal extensions of description logics
+Normal rank
@@ Property / cites work @@
+A multi-dimensional terminological knowledge representation language
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870562
@@ Property / cites work: Q4870562 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4430395
@@ Property / cites work: Q4430395 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845472
@@ Property / cites work: Q4845472 / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Products of modal logics, part 1
@@ Property / cites work: Products of modal logics, part 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Products of ‘transitive” modal logics
@@ Property / cites work: Products of ‘transitive” modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly representable atom structures of cylindric algebras
+Normal rank
@@ Property / cites work @@
+Canonical varieties with no canonical axiomatisation
+Normal rank
@@ Property / cites work @@
+On axiomatising products of Kripke frames
@@ Property / cites work: On axiomatising products of Kripke frames / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904058
@@ Property / cites work: Q2904058 / rank @@
+Normal rank
@@ Property / cites work @@
+A multiprocess network logic with temporal and spatial modalities
+Normal rank
@@ Property / cites work @@
+On the Products of Linear Modal Logics
@@ Property / cites work: On the Products of Linear Modal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Two-dimensional modal logic
@@ Property / cites work: Two-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4833777
@@ Property / cites work: Q4833777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2782498
@@ Property / cites work: Q2782498 / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing the monodic fragment of first-order temporal logic
+Normal rank