Continuum many maximal consistent normal bimodal logics with inverses

DOI10.1305/NDJFL/1039293024MaRDI QIDQ5937810zbMATH OpenOpenAlexFDO

Authors Timothy Williamson

Publication date 17 July 2001

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1039293024

zbMATH Keywords

extensions of a normal bimodal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• The power of a propositional constant
• The lattice of extensions of the modal logic of two equivalence relations has the cardinality of the continuum
• scientific article; zbMATH DE number 218547
• Properties of independently axiomatizable bimodal logics
• What is the upper part of the lattice of bimodal logics?

Cites work

• Inverses for normal modal operators
• Modal logics with functional alternative relations
• Post completeness in modal logic
• Some embedding theorems for modal logic
• The truth about some Post numbers

Cited in

(6)

• Inverses for normal modal operators
• A note on the issue of cohesiveness in canonical models
• The lattice of extensions of the modal logic of two equivalence relations has the cardinality of the continuum
• More on the Power of a Constant
• Denumerably many Post-complete normal modal logics with propositional constants
• The power of a propositional constant

This page was built for publication: Continuum many maximal consistent normal bimodal logics with inverses

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