The sharpness property of justification logic (Q785962): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Justification awareness models
@@ Property / cites work: Justification awareness models / rank @@
+Normal rank
@@ Property / cites work @@
+On the sharpness and the single-conclusion property of basic justification models
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics, justification logics, and realization
+Normal rank
@@ Property / cites work @@
+THE LOGIC OF JUSTIFICATION
@@ Property / cites work: THE LOGIC OF JUSTIFICATION / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:785962