Can I read Geometric Modal Logic Framework on EtoBox?

Geometric Modal Logic Framework by Carlos Lobo is a document available to read on EtoBox.

What is Geometric Modal Logic Framework about?

This paper aims to generalize Kripke semantics for propositional modal logic by introducing a geometric framework that considers the underlying space of possible worlds as a significant semantic feature. It establishes new connections between modal logic and geometry, demonstrating how higher-order modalities can be modeled similarly to higher-order derivatives. The work highlights the potential for a more comprehensive understanding of modal iteration and accessibility within a geometric context.

Author

Carlos Lobo

Language

EN