scientific article; zbMATH DE number 7668106

MaRDI QIDQ5884955

Andrea de Domenico, Giuseppe Greco

Publication date: 24 March 2023

Full work available at URL: https://arxiv.org/abs/2203.14147

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

zbMATH Keywords

labelled calculialgorithmic correspondence theoryanalytic extensions of labelled calculiautomatic rule-generationstructural proof theory of modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (1)

Labelled calculi for lattice-based modal logics

This page was built for publication: