1 problem

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

A natural complete axiom system for stationary logic frames