On combinatorial proofs for modal logic

DOI10.1007/978-3-030-29026-9_13zbMath1435.03041OpenAlexW2969696171MaRDI QIDQ2180519

Matteo Acclavio, Lutz Straßburger

Publication date: 14 May 2020

Full work available at URL: https://hal.inria.fr/hal-02390400/file/CPKfinal.pdf

zbMATH Keywords

modal logiccombinatorial proofsskew fibrationrelation websS4-tesseract

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Structure of proofs (03F07)

This page was built for publication: On combinatorial proofs for modal logic