scientific article; zbMATH DE number 1163394

MaRDI QIDQ4394923zbMATH OpenFDO

Authors Michael Zakharyaschev

Publication date 29 January 2001

zbMATH Keywords

canonical formulasfinite pattern framesintermediate logicmodal logicpartial \(p\)-morphismrefutation frames

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 1354097
• scientific article; zbMATH DE number 2149469
• MODAL COMPANIONS OF SUPERINTUITIONISTIC LOGICS: SYNTAX, SEMANTICS, AND PRESERVATION THEOREMS
• scientific article; zbMATH DE number 4123703
• Superintuitionistic companions of classical modal logics
• On canonical formulas for extensions of minimal logic
• Modal logics and mu-calculi: An introduction
• scientific article; zbMATH DE number 3639589
• On variable separation in modal and superintuitionistic logics

Cited in

(6)

• Canonical formulas for \(k\)-potent commutative, integral, residuated lattices
• Canonical formulas for a paraconsistent analog of the Scott logic
• scientific article; zbMATH DE number 2149469 (Why is no real title available?)
• Stable modal logics
• Uniform Lyndon interpolation for the pure logic of necessitation with a modal reduction principle
• The finite frame property of some extensions of the pure logic of necessitation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4394923)