scientific article; zbMATH DE number 1138230

MaRDI QIDQ4383495zbMATH OpenFDO

Authors M. A. Koban

Publication date 5 April 1998

zbMATH Keywords

expressibility of formulaspretabular modal logic PM4

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)

Recommendations

• scientific article; zbMATH DE number 4135915
• A criterion for parametrical completeness in the 8-valued algebraic model of modal logic S5
• Completeness criteria for expressibility in a 4-valued extension of provability logic
• Existence of an algorithm for recognition of the completeness with respect to expressibility in modal pre-tabular logic EM4
• scientific article; zbMATH DE number 1138201

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 Q4383495)