scientific article; zbMATH DE number 5589639
From MaRDI portal
zbMath1181.03008MaRDI QIDQ5324584
Willem Conradie, Dimiter Vakarelov, Valentin F. Goranko
Publication date: 3 August 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)
Related Items
Algebraic modal correspondence: Sahlqvist and beyond, Unnamed Item, Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA, Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$
Uses Software