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 logicdefinability of modal operators

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Abstract deductive systems (03B22) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

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

This page was built for publication: A deductive-reductive form of logic: Intuitionistic S4 modalities