A simple embedding of T into double S5 (Q558415): Difference between revisions

@@ Property / author @@
-Steven T. Kuhn
@@ Property / author: Steven T. Kuhn / rank @@
-Normal rank
@@ Property / author @@
+Steven T. Kuhn
@@ Property / author: Steven T. Kuhn / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+2186733
@@ Property / zbMATH DE Number: 2186733 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+translation between T and double S5
@@ Property / zbMATH Keywords: translation between T and double S5 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+propositional quantification
@@ Property / zbMATH Keywords: propositional quantification / rank @@
+Normal rank
@@ 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/1094155276
+Normal rank
@@ Property / OpenAlex ID @@
+W1994385438
@@ Property / OpenAlex ID: W1994385438 / rank @@
+Normal rank
@@ Property / cites work @@
+Representability in second-order propositional poly-modal logic
+Normal rank
@@ Property / cites work @@
+Propositional quantifiers in modal logic1
@@ Property / cites work: Propositional quantifiers in modal logic1 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:558415