scientific article; zbMATH DE number 5263148
From MaRDI portal
Publication:5457387
zbMath1146.03038MaRDI QIDQ5457387
Publication date: 14 April 2008
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)
Related Items (22)
Interpolation Method for Multicomponent Sequent Calculi ⋮ Linear Nested Sequents, 2-Sequents and Hypersequents ⋮ Natural deduction calculi and sequent calculi for counterfactual logics ⋮ A deep inference system for the modal logic S5 ⋮ Hypersequent rules with restricted contexts for propositional modal logics ⋮ LINEAR TIME IN HYPERSEQUENT FRAMEWORK ⋮ Mechanising Gödel-Löb provability logic in HOL light ⋮ Rooted hypersequent calculus for modal logic \textsf{S5} ⋮ Varieties of Relevant S5 ⋮ THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS ⋮ Falsification-aware calculi and semantics for normal modal logics including S4 and S5 ⋮ Natural deduction calculi for classical and intuitionistic S5 ⋮ Structural Rules in Natural Deduction with Alternatives ⋮ A cut-free sequent system for two-dimensional modal logic, and why it matters ⋮ Hypersequent Calculi for S5: The Methods of Cut Elimination ⋮ A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 ⋮ Normal proofs, cut free derivations and structural rules ⋮ Some analytic systems of rules ⋮ CoNP complexity for combinations of non-normal modal logics ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Truth values and proof theory ⋮ Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
This page was built for publication:
