Geometric modal logic

DOI10.1215/00294527-2023-0012zbMath1529.03150OpenAlexW4387584955MaRDI QIDQ6187419

Brice Halimi

Publication date: 15 January 2024

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

Full work available at URL: https://doi.org/10.1215/00294527-2023-0012

zbMATH Keywords

Riemannian geometrydifferential geometrypropositional modal logichigher-order possible worldsiterated modalitiesKripke modal semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Differentiable manifolds, foundations (58A05) Methods of global Riemannian geometry, including PDE methods; curvature restrictions (53C21)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Topological completeness of the provability logic GLP
• Dynamic topological logic
• 2-sequent calculus: A proof theory of modalities
• Vagueness, truth and logic
• On the geometry of tangent bundles
• A theory of hypermodal logics: Mode shifting in modal logic
• Modal logics in the vicinity of S1
• The algebra of topology
• A Constructive Presentation for the Modal Connective of Necessity (□)
• Handbook of Graph Theory
• Points, lines and diamonds: a two-sorted modal logic for projective planes
• Sequent-systems for modal logic
• Riemannian geometry

This page was built for publication: Geometric modal logic