scientific article; zbMATH DE number 4135915

MaRDI QIDQ3469085zbMATH OpenFDO

Authors M. A. Koban, Mefodie Raţă

Publication date 1989

zbMATH Keywords

completenessmodal logic PM4modal logic S4topo-Boolean algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• Completeness criteria for expressibility in a 4-valued extension of provability logic
• scientific article; zbMATH DE number 1918664
• Modal extension of ideal paraconsistent four-valued logic and its subsystem
• scientific article; zbMATH DE number 6316274
• A new four-valued approach to modal logic
• Relational semantics for the paraconsistent and paracomplete 4-valued logic PŁ4
• On axiomatization of Łukasiewicz's four-valued modal logic
• Lattices of four-valued modal logics
• Existence of an algorithm for recognition of the completeness with respect to expressibility in modal pre-tabular logic EM4
• Formulas in modal logic S4

Cited in

(2)

• Modal propositional truth logic Tr and its completeness
• scientific article; zbMATH DE number 1138230 (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 Q3469085)