Intuitionistic Epistemology and Modal Logics of Verification

DOI10.1007/978-3-662-48561-3_24zbMath1471.03036OpenAlexW2294475330MaRDI QIDQ3457712

Tudor Protopopescu

Publication date: 17 December 2015

Published in: Logic, Rationality, and Interaction (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48561-3_24

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42)

Related Items (4)

An Arithmetical Interpretation of Verification and Intuitionistic Knowledge ⋮ A first-order expansion of Artemov and Protopopescu's intuitionistic epistemic logic ⋮ Kripke semantics for the logic of problems and propositions ⋮ INTUITIONISTIC EPISTEMIC LOGIC

Cites Work

• Intuitionistic epistemic logic, Kripke models and Fitch's paradox
• Models for normal intuitionistic modal logics
• Models for stronger normal intuitionistic modal logics
• On intuitionistic modal epistemic logic
• First-order modal logic
• Discovering knowability: a semantic analysis
• Explicit Provability and Constructive Semantics
• An Intuitionistic Epistemic Logic for Sequential Consistency on Shared Memory
• INTUITIONISTIC EPISTEMIC LOGIC
• Some theorems about the sentential calculi of Lewis and Heyting
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Intuitionistic Epistemology and Modal Logics of Verification