A deductive-reductive form of logic: Intuitionistic S4 modalities

DOI10.12775/LLP.2002.005zbMath1028.03012MaRDI QIDQ4803959

Piotr Łukowski

Publication date: 22 January 2004

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

zbMATH Keywords

intuitionistic logic; definability of modal operators

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B22: Abstract deductive systems

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

Proof theory of Nelson's paraconsistent logic: a uniform perspective, Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant, Bi-Classical Connexive Logic and its Modal Extension: Cut-elimination, completeness and duality