Intuitionistic logic as epistemic logic

DOI10.1023/A:1010357829038zbMath0988.03009OpenAlexW1836362307MaRDI QIDQ5946349

Jaakko Hintikka

Publication date: 5 July 2002

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1010357829038

zbMATH Keywords

intuitionistic logicSkolem functionsaxiom of choiceepistemic logic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55) Axiom of choice and related propositions (03E25)

Related Items (2)

Inquisitive logic as an epistemic logic of knowing how ⋮ The Axiom of Choice as Interaction Brief Remarks on the Principle of Dependent Choices in a Dialogical Setting

This page was built for publication: Intuitionistic logic as epistemic logic