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

zbMATH Open1321.03030MaRDI QIDQ5419871FDOQ5419871

Authors: Philippe Balbiani, Levan Uridia 

Publication date: 11 June 2014

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

zbMATH Keywords

Cantor-Bendixson ranktopologiesderivative operators

Mathematics Subject Classification ID

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

Cited In (3)

• Elementary definability and completeness in general and positive modal logic
• Title not available (Why is that?)
• 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)