INTUITIONISTIC EPISTEMIC LOGIC (Q5741614): Difference between revisions

@@ Property / author @@
+Sergej N. Artemov
@@ Property / author: Sergej N. Artemov / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.1582
@@ Property / arXiv ID: 1406.1582 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of a problem of Leon Henkin
@@ Property / cites work: Solution of a problem of Leon Henkin / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent Calculus for Intuitionistic Epistemic Logic IEL
+Normal rank
@@ Property / cites work @@
+Q5520626
@@ Property / cites work: Q5520626 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical analysis of some value concepts
@@ Property / cites work: A logical analysis of some value concepts / rank @@
+Normal rank
@@ Property / cites work @@
+Many-dimensional modal logics: theory and applications
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Q4133603
@@ Property / cites work: Q4133603 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4239945
@@ Property / cites work: Q4239945 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 8
@@ Property / cites work: Handbook of philosophical logic. Vol. 8 / rank @@
+Normal rank
@@ Property / cites work @@
+Validity concepts in proof-theoretic semantics
@@ Property / cites work: Validity concepts in proof-theoretic semantics / rank @@
+Normal rank
@@ Property / cites work @@
+New Essays on the Knowability Paradox
@@ Property / cites work: New Essays on the Knowability Paradox / rank @@
+Normal rank
@@ Property / cites work @@
+The justification of the logical laws revisited
@@ Property / cites work: The justification of the logical laws revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Q3128959
@@ Property / cites work: Q3128959 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a semantics based on the notion of justification
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+An Arithmetical Interpretation of Verification and Intuitionistic Knowledge
+Normal rank
@@ Property / cites work @@
+Q3931272
@@ Property / cites work: Q3931272 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic Epistemology and Modal Logics of Verification
+Normal rank
@@ Property / cites work @@
+Intuitionistic epistemic logic, Kripke models and Fitch's paradox
+Normal rank
@@ Property / cites work @@
+Meaning approached via proofs
@@ Property / cites work: Meaning approached via proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Verificationists versus realists: The battle over knowability
+Normal rank
@@ Property / cites work @@
+Models for normal intuitionistic modal logics
@@ Property / cites work: Models for normal intuitionistic modal logics / rank @@
+Normal rank
@@ Property / cites work @@
+THE LOGIC OF JUSTIFICATION
@@ Property / cites work: THE LOGIC OF JUSTIFICATION / rank @@
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3105817132
@@ Property / OpenAlex ID: W3105817132 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5741614