Simple weakly transitive modal algebras (Q619324): Difference between revisions

@@ Property / full work available at URL @@
-https://doi.org/10.1007/s10469-010-9092-7
-Normal rank
@@ Property / OpenAlex ID @@
-W1983722690
@@ Property / OpenAlex ID: W1983722690 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10469-010-9092-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1983722690
@@ Property / OpenAlex ID: W1983722690 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4424659
@@ Property / cites work: Q4424659 / rank @@
+Normal rank
@@ Property / cites work @@
+Some results on modal axiomatization and definability for topological spaces
+Normal rank
@@ Property / cites work @@
+The modal logic of inequality
@@ Property / cites work: The modal logic of inequality / rank @@
+Normal rank
@@ Property / cites work @@
+Modal definability in enriched languages
@@ Property / cites work: Modal definability in enriched languages / rank @@
+Normal rank
@@ Property / cites work @@
+« Everywhere » and « here »
@@ Property / cites work: « Everywhere » and « here » / rank @@
+Normal rank
@@ Property / cites work @@
+Topological Modal Logics with Difference Modality
@@ Property / cites work: Topological Modal Logics with Difference Modality / rank @@
+Normal rank
@@ Property / cites work @@
+Q3022776
@@ Property / cites work: Q3022776 / rank @@
+Normal rank
@@ Property / cites work @@
+Definability and interpolation in non-classical logics
+Normal rank
@@ Property / cites work @@
+A weak form of interpolation in equational logic
@@ Property / cites work: A weak form of interpolation in equational logic / rank @@
+Normal rank
@@ Property / cites work @@
+Weak interpolation in extensions of the logics S4 and K4
+Normal rank
@@ Property / cites work @@
+Q5734410
@@ Property / cites work: Q5734410 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4895321
@@ Property / cites work: Q4895321 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3875897
@@ Property / cites work: Q3875897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068699
@@ Property / cites work: Q4068699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank