Modal logics that need very large frames (Q5937849): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1305/ndjfl/1038949533
+Normal rank
@@ Property / OpenAlex ID @@
+W2023163448
@@ Property / OpenAlex ID: W2023163448 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic study of tense logics with linear time
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of inequality
@@ Property / cites work: The modal logic of inequality / rank @@
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to large cardinals
@@ Property / cites work: Set theory. An introduction to large cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Logics containing <i>K</i>4. Part I
@@ Property / cites work: Logics containing <i>K</i>4. Part I / rank @@
+Normal rank
@@ Property / cites work @@
+A study of intermediate propositional logics on the third slice
+Normal rank
@@ Property / cites work @@
+Q3852172
@@ Property / cites work: Q3852172 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999881
@@ Property / cites work: Q3999881 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of independently axiomatizable bimodal logics
+Normal rank
@@ Property / cites work @@
+Simulation and transfer results in modal logic -- a survey
+Normal rank
@@ Property / cites work @@
+Canonicity for intensional logics without iterative axioms
+Normal rank
@@ Property / cites work @@
+The logical consequence relation of propositional tense logic
+Normal rank
@@ Property / cites work @@
+Q3781066
@@ Property / cites work: Q3781066 / rank @@
+Normal rank
@@ Property / cites work @@
+The finite model property in tense logic
@@ Property / cites work: The finite model property in tense logic / rank @@
+Normal rank
@@ Property / cites work @@
+Tense Logic Without Tense Operators
@@ Property / cites work: Tense Logic Without Tense Operators / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of lattices of subframe logics
@@ Property / cites work: The structure of lattices of subframe logics / rank @@
+Normal rank