On non-self-referential fragments of modal logics (Q508827): Difference between revisions

@@ Property / DOI @@
-.1016/j.apal.2016.11.001
@@ Property / DOI: 10.1016/j.apal.2016.11.001 / 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 ontology of justifications in the logical setting
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Making knowledge explicit: how hard it is
@@ Property / cites work: Making knowledge explicit: how hard it is / rank @@
+Normal rank
@@ Property / cites work @@
+Q2904046
@@ Property / cites work: Q2904046 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Realization in Dynamic Justification Logic
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak Logics with Strict Implication
@@ Property / cites work: Weak Logics with Strict Implication / rank @@
+Normal rank
@@ Property / cites work @@
+Q5315023
@@ Property / cites work: Q5315023 / 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 @@
+Realizations and LP
@@ Property / cites work: Realizations and LP / rank @@
+Normal rank
@@ Property / cites work @@
+The Realization Theorem for S5 A Simple, Constructive Proof
+Normal rank
@@ Property / cites work @@
+Quasi-realization
@@ Property / cites work: Quasi-realization / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logics, justification logics, and realization
+Normal rank
@@ Property / cites work @@
+Realization using the model existence theorem
@@ Property / cites work: Realization using the model existence theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q4754492
@@ Property / cites work: Q4754492 / rank @@
+Normal rank
@@ Property / cites work @@
+Realization for justification logics via nested sequents: modularity through embedding
+Normal rank
@@ Property / cites work @@
+Self-referentiality of Justified Knowledge
@@ Property / cites work: Self-referentiality of Justified Knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+Self-referential justifications in epistemic logic
+Normal rank
@@ Property / cites work @@
+Q5419893
@@ Property / cites work: Q5419893 / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+Q4376067
@@ Property / cites work: Q4376067 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499084
@@ Property / cites work: Q4499084 / rank @@
+Normal rank
@@ Property / cites work @@
+A propositional logic with explicit fixed points
@@ Property / cites work: A propositional logic with explicit fixed points / rank @@
+Normal rank
@@ Property / cites work @@
+Non-circular proofs and proof realization in modal logic
+Normal rank
@@ Property / cites work @@
+Prehistoric Phenomena and Self-referentiality
@@ Property / cites work: Prehistoric Phenomena and Self-referentiality / rank @@
+Normal rank
@@ Property / cites work @@
+Self-referentiality of Brouwer-Heyting-Kolmogorov semantics
+Normal rank
@@ Property / cites work @@
+Prehistoric graph in modal derivations and self-referentiality
+Normal rank
@@ Property / DOI @@
+.1016/J.APAL.2016.11.001
@@ Property / DOI: 10.1016/J.APAL.2016.11.001 / rank @@
+Normal rank