scientific article

zbMath1248.03076MaRDI QIDQ3105688

Andrzej Indrzejczak

Publication date: 5 January 2012

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logiccut eliminationsequent calculusneighbourhood semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05)

Related Items (6)

Intuitionistic non-normal modal logics: a general framework ⋮ Explicit non-normal modal logic ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics ⋮ Modular sequent calculi for classical modal logics

Uses Software

• Pesca

This page was built for publication: