The McKinsey axiom is not canonical (Q3984429): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2307/2274699
@@ Property / full work available at URL: https://doi.org/10.2307/2274699 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2109023621
@@ Property / OpenAlex ID: W2109023621 / rank @@
+Normal rank
@@ Property / cites work @@
+Normal forms in modal logic
@@ Property / cites work: Normal forms in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Some kinds of modal completeness
@@ Property / cites work: Some kinds of modal completeness / rank @@
+Normal rank
@@ Property / cites work @@
+An incompleteness theorem in modal logic
@@ Property / cites work: An incompleteness theorem in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new proof of Sahlqvist's theorem on modal definability and completeness
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Solution to a completeness problem of Lemmon and Scott
+Normal rank
@@ Property / cites work @@
+An incomplete logic containing S4
@@ Property / cites work: An incomplete logic containing S4 / rank @@
+Normal rank