INTUITIONISTIC EPISTEMIC LOGIC

DOI10.1017/S1755020315000374zbMath1408.03004arXiv1406.1582OpenAlexW3105817132MaRDI QIDQ5741614

Tudor Protopopescu, Sergej N. Artemov

Publication date: 29 July 2016

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1406.1582

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (20)

Sequent Calculus for Intuitionistic Epistemic Logic IEL ⋮ An Arithmetical Interpretation of Verification and Intuitionistic Knowledge ⋮ Reasoning about proof and knowledge ⋮ Intuitionistic Epistemology and Modal Logics of Verification ⋮ On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge ⋮ Constructive and mechanised meta-theory of intuitionistic epistemic logic ⋮ Lewis meets Brouwer: constructive strict implication ⋮ Constructive knowledge and the justified true belief paradigm ⋮ Deriving dualities in pointfree topology from Priestley duality ⋮ Reflections on Orlov ⋮ A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic ⋮ Admissible rules for six intuitionistic modal logics ⋮ Cardinality reduction theorem for logics QHC and QH4 ⋮ Linear depth deduction with subformula property for intuitionistic epistemic logic ⋮ Topological models of propositional logic of problems and propositions ⋮ Kripke semantics for the logic of problems and propositions ⋮ Implicit and explicit stances in logic ⋮ Unnamed Item ⋮ Curry-Howard-Lambek correspondence for intuitionistic belief ⋮ Synthesis of modality definitions and a theorem prover for epistemic intuitionistic logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Intuitionistic epistemic logic, Kripke models and Fitch's paradox
• Handbook of philosophical logic. Vol. 8
• Verificationists versus realists: The battle over knowability
• Models for normal intuitionistic modal logics
• Constructivism in mathematics. An introduction. Volume I
• Handbook of proof theory
• Many-dimensional modal logics: theory and applications
• The justification of the logical laws revisited
• Towards a semantics based on the notion of justification
• Meaning approached via proofs
• Validity concepts in proof-theoretic semantics
• Explicit Provability and Constructive Semantics
• New Essays on the Knowability Paradox
• Solution of a problem of Leon Henkin
• Intuitionistic Epistemology and Modal Logics of Verification
• THE LOGIC OF JUSTIFICATION
• A logical analysis of some value concepts
• Sequent Calculus for Intuitionistic Epistemic Logic IEL
• An Arithmetical Interpretation of Verification and Intuitionistic Knowledge

This page was built for publication: INTUITIONISTIC EPISTEMIC LOGIC