Downward-directed transitive frames with universal relations

MaRDI QIDQ3509065zbMATH OpenFDO

Authors Ilya Shapirovsky

Publication date 1 July 2008

zbMATH Keywords

completenessfinite model propertyregionsrelativistic temporal logicsuniversal modality

Mathematics Subject Classification ID

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

Recommendations

• Modal logics of some geometrical structures
• scientific article; zbMATH DE number 1735879
• Modal Logics for Parallelism, Orthogonality, and Affine Geometries
• scientific article; zbMATH DE number 218547
• Geometrical structures and modal logic

Cited in

(4)

• On the relationship between one-point frames and degrees of unsatisfiability of modal formulas
• Directed frames
• Orthogonal frames and indexed relations
• Modal logics of some geometrical structures

This page was built for publication: Downward-directed transitive frames with universal relations

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