scientific article; zbMATH DE number 7084831

zbMath1418.03075MaRDI QIDQ5224565

Tiziano Dalmonte, Nicola Olivetti, Sara Negri

Publication date: 24 July 2019

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

zbMATH Keywords

labelled sequent calculinon-normal modal logics(bi)-neighbourhood semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (7)

Intuitionistic non-normal modal logics: a general framework ⋮ HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) ⋮ Non-normal modal logics and conditional logics: semantic analysis and proof theory ⋮ Mechanising Gödel-Löb provability logic in HOL light ⋮ The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ Neighbourhood semantics for FDE-based modal logics ⋮ Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics

This page was built for publication: