Two Proof-Theoretic Remarks on EA + ECT

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200010)46:4<461::AID-MALQ461>3.0.CO;2-I" /><461::AID-MALQ461>3.0.CO;2-I 10.1002/1521-3870(200010)46:4<461::AID-MALQ461>3.0.CO;2-IzbMath0964.03062OpenAlexW2063064015MaRDI QIDQ4521121

Leon Horsten, Volker Halbach

Publication date: 16 July 2001

Full work available at URL: https://doi.org/10.1002/1521-3870(200010)46:4<461::aid-malq461>3.0.co;2-i

zbMATH Keywords

epistemic arithmeticarithmetic in modal logic S4epistemic Church's Thesisepistemic existence property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Metamathematics of constructive systems (03F50)

Related Items (2)

DISJUNCTION AND EXISTENCE PROPERTIES IN MODAL ARITHMETIC ⋮ REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION

This page was built for publication: Two Proof-Theoretic Remarks on EA + ECT