scientific article; zbMATH DE number 7084838

zbMath1418.03050MaRDI QIDQ5224572

Nicola Olivetti, Sara Negri, Marianna Girlando

Publication date: 24 July 2019

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

zbMATH Keywords

sequent calculuscounterfactual logiclabelled sequent calculitranslation between calculi

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

This page was built for publication: