2 problems

0 votes0 replies0 views
A natural complete axiom system for stationary logic frames
Natural complete axiom-system conjecture. There is a natural complete axiom system for all $L^{St}(S_0,S_1,...)$ based on the usual axioms and rules of $\mathcal{L}(Q_1)$ .
Conjectureopenaxiomatic-systems infinitary-logic logic-framesarXiv posted 2 days ago
0 votes0 replies0 views
Carnap's categoricity–semantic completeness conjecture for higher-order theories
A higher-order theory is categorical when it has, up to isomorphism, exactly one model, and is semantically complete when every sentence or its negation is a semantic consequence o…
Conjectureopenaxiomatic-systems higher-order-logic model-theoryarXiv posted 2 days ago

A natural complete axiom system for stationary logic frames