The satisfiability problem for the ∃□ + □∃ bundled fragment of first-order modal logic is decidable over increasing domain models.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property
The satisfiability problem for the ∃□ + □∃ bundled fragment of first-order modal logic is decidable over increasing domain models.