Fusing one-variable first-order modal logics preserves completeness and decidability without equality, but adding equality and non-rigid constants can make fusions undecidable.
Title resolution pending
1 Pith paper cite this work, alongside 37 external citations. Polarity classification is still indexing.
1
Pith paper citing it
37
external citations · OpenAlex
fields
cs.LO 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Fusions of One-Variable First-Order Modal Logics
Fusing one-variable first-order modal logics preserves completeness and decidability without equality, but adding equality and non-rigid constants can make fusions undecidable.