scientific article; zbMATH DE number 3878899

MaRDI QIDQ3343965zbMATH OpenFDO

Authors S. K. Thomason

Publication date 1983

zbMATH Keywords

algebraic semanticsfilterfinite Boolean algebrafinite matrixmodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logical aspects of Boolean algebras (03G05)

Recommendations

• Algebraic semantics for quasi-classical modal logics
• scientific article; zbMATH DE number 1975399
• scientific article; zbMATH DE number 1778904
• scientific article; zbMATH DE number 2209892
• A note on R\(\rightarrow\) matrices

Cited in

(9)

• Three-element nonfinitely axiomatizable matrices
• Effective semantics for the modal logics K and KT via non-deterministic matrices
• Generalization of Kalmar's method for quasi-matrix logic
• scientific article; zbMATH DE number 3896905 (Why is no real title available?)
• scientific article; zbMATH DE number 120351 (Why is no real title available?)
• scientific article; zbMATH DE number 1302500 (Why is no real title available?)
• scientific article; zbMATH DE number 1975399 (Why is no real title available?)
• Algebraic semantics for quasi-classical modal logics
• scientific article; zbMATH DE number 2209892 (Why is no real title available?)

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