Completeness and definability of a modal logic interpreted over iterated strict partial orders

MaRDI QIDQ5419871zbMATH OpenFDO

Authors Philippe Balbiani, Levan Uridia

Publication date 11 June 2014

zbMATH Keywords

Cantor-Bendixson ranktopologiesderivative operators

Mathematics Subject Classification ID

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

Recommendations

• A Modal Logic That is Complete with Respect to Strictly Linearly Ordered A-Models
• Partially-ordered modalities
• On modal logics of partial recursive functions
• The modal logic of inequality
• Publication:4936675

Cited in

(3)

• Elementary definability and completeness in general and positive modal logic
• scientific article; zbMATH DE number 935103 (Why is no real title available?)
• Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes

This page was built for publication: Completeness and definability of a modal logic interpreted over iterated strict partial orders

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