scientific article; zbMATH DE number 465603

zbMath0788.03009MaRDI QIDQ4271946

Szabolcs Mikulás

Publication date: 5 June 1994

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

zbMATH Keywords

many-dimensional modal logicformula algebraclassical first-order logic with \(n\) variablessound and complete Gabbay-style inference systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Algebraic logic (03G99) Abstract deductive systems (03B22)

This page was built for publication: