Predicate logics on display

DOI10.1023/A:1005125717300zbMath0922.03016OpenAlexW4241430495MaRDI QIDQ1283134

Heinrich Wansing

Publication date: 18 October 1999

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

predicate logicdisplay logicmodalities

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (5)

Rooted hypersequent calculus for modal logic \textsf{S5} ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ Cut Elimination for Extended Sequent Calculi ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Displaying the modal logic of consistency

This page was built for publication: Predicate logics on display