Abstract
Our concern is the axiomatisation problem for modal and algebraic logics that correspond to various fragments of two-variable first-order logic with counting quantifiers. In particular, we consider modal products with Diff, the propositional unimodal logic of the difference operator. We show that the two-dimensional product logic Diff×Diff is non-finitely axiomatisable, but can be axiomatised by infinitely many Sahlqvist axioms. We also show that its ‘square’ version (the modal counterpart of the substitution and equality free fragment of two-variable first-order logic with counting to two) is non-finitely axiomatisable over Diff×Diff, but can be axiomatised by adding infinitely many Sahlqvist axioms. These are the first examples of products of finitely axiomatisable modal logics that are not finitely axiomatisable, but axiomatisable by explicit infinite sets of canonical axioms.
Original language | English |
---|---|
Article number | 102786 |
Pages (from-to) | 1-46 |
Number of pages | 46 |
Journal | Annals of Pure and Applied Logic |
Volume | 171 |
Issue number | 5 |
Early online date | 31 Jan 2020 |
DOIs | |
Publication status | Published - 1 May 2020 |
Keywords
- Algebraic logic
- Canonical and Sahlqvist axiomatisations
- Elsewhere quantifiers
- Non-finite axiomatisability
- Products of modal logics