A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic
From MaRDI portal
Publication:6115851
DOI10.1007/s11225-023-10037-6OpenAlexW4327859639MaRDI QIDQ6115851
Publication date: 10 August 2023
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-023-10037-6
cut eliminationsequent calculusintuitionistic logicepistemic logicBHK interpretationgeometric implication
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Intuitionistic common knowledge or belief
- Algebraic semantics and model completeness for intuitionistic public announcement logic
- Intuitionistic epistemic logic, Kripke models and Fitch's paradox
- Proof analysis in modal logic
- On intuitionistic modal epistemic logic
- Constructivism in mathematics. An introduction. Volume II
- Interpolation in extensions of first-order logic
- Term-sequence-modal logics
- First-order intuitionistic epistemic logic
- The Church-Fitch knowability paradox in the light of structural proof theory
- Proof Analysis
- Intuitionistic Epistemology and Modal Logics of Verification
- Logics without the contraction rule
- Cut Elimination in the Presence of Axioms
- A logical analysis of some value concepts
- Sequent Calculus for Intuitionistic Epistemic Logic IEL
- Typed Lambda Calculi and Applications
- INTUITIONISTIC EPISTEMIC LOGIC
- Logic and structure
- Term-modal logics
This page was built for publication: A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic