MathDB1 problem
- 0 votes0 replies0 views
Universally closed nesting for quantified modal logics without expressible existence predicates
A quantified modal logic (QML) is a modal logic with quantifiers, and a formula interpretation of a nested sequent assigns a formula to each nested sequent. The existence predicate…