Possible world semantics for first-order logic of proofs (Q392284): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2013.07.011
@@ Property / DOI: 10.1016/j.apal.2013.07.011 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B45
@@ Property / Mathematics Subject Classification ID: 03B45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B60
@@ Property / Mathematics Subject Classification ID: 03B60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F45
@@ Property / Mathematics Subject Classification ID: 03F45 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F55
@@ Property / Mathematics Subject Classification ID: 03F55 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6244770
@@ Property / zbMATH DE Number: 6244770 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+justification logic
@@ Property / zbMATH Keywords: justification logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+logic of proofs
@@ Property / zbMATH Keywords: logic of proofs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+possible world semantics
@@ Property / zbMATH Keywords: possible world semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+completeness
@@ Property / zbMATH Keywords: completeness / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2013.07.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2002106559
@@ Property / OpenAlex ID: W2002106559 / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+THE LOGIC OF JUSTIFICATION
@@ Property / cites work: THE LOGIC OF JUSTIFICATION / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of proofs, semantically
@@ Property / cites work: The logic of proofs, semantically / rank @@
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2013.07.011
@@ Property / DOI: 10.1016/J.APAL.2013.07.011 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:392284