First-Order Modal Logic via Logical Categories
By: Silvio Ghilardi, Jérémie Marquès
Potential Business Impact:
Makes computers understand logic better.
We extend the logical categories framework to first order modal logic. In our modal categories, modal operators are applied directly to subobjects and interact with the background factorization system. We prove a Joyal-style representation theorem into relational structures formalizing a `counterpart' notion. We investigate saturation conditions related to definability questions and we enrich our framework with quotients and disjoint sums, thus leading to the notion of a modal (quasi) pretopos. We finally show how to build syntactic categories out of first order modal theories.
Similar Papers
Logic-Based Artificial Intelligence Algorithms Supporting Categorical Semantics
Artificial Intelligence
Helps computers think about complex things better.
Logic and Concepts in the 2-category of Topoi
Logic
Builds new math to understand different types of logic.
On semantics of first-order justification logic with binding modalities
Logic in Computer Science
Lets computers understand math with missing pieces.