Predicate logics on display

DOI10.1023/A:1005125717300MaRDI QIDQ1283134zbMATH OpenOpenAlexFDO

Authors 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

display logicmodalitiespredicate logic

Mathematics Subject Classification ID

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

Review text

Display systems introduced by N. Belnap treat the modality \(\square\) using an ``inverse connective \(\bigcirc\) (sometimes in the past) and the following rules: \(\bigcirc A\to X/A\to\square X\) and \(A\to X/\square A\to\bigcirc X\). The author extends this treatment to predicate logic using \(\bigcirc_x\) indexed by variable \(x\). Additional modal-like operations \(S_{xy}\) modeling substitution \([x/y]\) are introduced. As always in display logic, numerous structural rules are needed.

Recommendations

• Sequent Calculi for Normal Modal Propositional Logics
• Displaying modal logic
• scientific article; zbMATH DE number 1140580

Cited in

(9)

• Hypersequent and display calculi -- a unified perspective
• Bilattice logic properly displayed
• Comments on predicative logic
• Sequent Calculi for Normal Modal Propositional Logics
• Displaying the modal logic of consistency
• Rooted hypersequent calculus for modal logic \textsf{S5}
• Natural deduction calculi for classical and intuitionistic S5
• Cut Elimination for Extended Sequent Calculi
• Gentzen-type sequent calculus for modal logic S5

This page was built for publication: Predicate logics on display

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1283134)