Embedding Constructive K into Intuitionistic K

DOI10.1016/j.entcs.2010.04.015zbMath1345.03041OpenAlexW2029185689MaRDI QIDQ3185769

Kurt Ranalter

Publication date: 5 August 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2010.04.015

zbMATH Keywords

possibilityintuitionistic modal logicconstructive modal logicextended natural deduction systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

Logic of Intuitionistic Interactive Proofs (Formal Theory of Perfect Knowledge Transfer) ⋮ Constructive Description Logics Hybrid-Style ⋮ Cut-free Gentzen calculus for multimodal CK

Uses Software

• MiniML

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notions of computation and monads
• Proof analysis in modal logic
• Towards constructive DL for abstraction and refinement
• Propositional lax logic
• Intuitionistic hybrid logic
• A judgmental reconstruction of modal logic
• A modal analysis of staged computation
• Natural Deduction and Context as (Constructive) Modality
• Computational types from a logical perspective
• Symbolic Representations of the Post-apartheid University

This page was built for publication: Embedding Constructive K into Intuitionistic K