A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic

DOI10.1007/s11225-023-10037-6OpenAlexW4327859639MaRDI QIDQ6115851

Katsuhiko Sano, Youan Su

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

zbMATH Keywords

cut eliminationsequent calculusintuitionistic logicepistemic logicBHK interpretationgeometric implication

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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