MathDB2 problems
- 0 votes0 replies0 views
Conjecture on properness and incomparability of positive free logic systems
The paper considers the classical positive free logic systems appearing in Theorem … are proper. (b) \mathbf{CPF}^{\begin{sideways}\begin{sideways}iota…
- 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…