Abstract:We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a semantic environment of various input/output logics. In particular: we extend the modal characterizations of a finite number of well known conditions on normative and permission systems, as well as on subordination, precontact, and dual precontact algebras developed in \cite{de2024obligations}, to those corresponding to the infinite class of {\em clopen-analytic inequalities} in a modal language consisting both of positive and of negative unary modal operators; we characterize the syntactic shape of first-order conditions on algebras endowed with subordination, precontact, and dual precontact relations which guarantees these conditions to be the first-order correspondents of axioms in the modal language above; we introduce algorithms for computing the first-order correspondents of modal axioms on algebras endowed with subordination, precontact, and dual precontact relations, and conversely, for computing the modal axioms of which the conditions satisfying the suitable syntactic shape are the first-order correspondents; finally, we extend Celani's dual characterization results between subordination lattices and subordination spaces to a wider environment which also encompasses precontact and dual precontact relations, and relative to an infinite class of first order conditions relating subordination, precontact and dual precontact relations on distributive lattices. The modal characterizations established in the present paper pave the way to establishing faithful embeddings for infinite classes of input/output logics, and hence to their implementation in LogiKEy, Isabelle/HOL, Lean, or other interactive systems.

Fragments of $\mathsf{IOpen}$

Fragments of IOpen

Analogues of Shepherdson's Theorem for a language with exponentiation

Positive and monotone fragments of FO and LTL

The Open Logic and Its Relation to Circumscription

On the first-order theories of quaternions and octonions

Alternating Quantifiers in Uniform One-Dimensional Fragments with an Excursion into Three-Variable Logic

The Adjacent Fragment and Quine's Limits of Decision

Quasi-Slater And Farkas-Minkowski Qualifications For Semi-Infinite Programming With Applications

Interpolant Existence is Undecidable for Two-Variable First-Order Logic with Two Equivalence Relations

Algebraic Semantics for a Mixed Type Fragment of IPC

Quantifiers closed under partial polymorphisms

Intuitionistic Fixed Point Logic

Lindstrom Theorems for Fragments of First-Order Logic

On the theory of exponential integer parts

Slicewise Definability in First-Order Logic with Bounded Quantifier Rank.

Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space

Interpretations of syntactic fragments of theories of fields

On Infinitary Gödel logics

A Uniform One-Dimensional Fragment with Alternation of Quantifiers