Semantics for some intermediate logics

Milan Bo\v zi\'c

Abstract: We give semantics for intermediate logics of the form $H+\vee S$, where $\vee S$ is the schema $$ \underset{(i,j)\in S}\to\vee(A_i\to A_j) $$ and $S$ is a nonempty subset of $\{1,\ldots,n\}^2$. It is proved that such a logic is complete with respect to the class of Kripke frames $(X,R)$ which satisfy the universal closure of the formula $$\underset{(i,j),(k,i)\in S}\to\vee x_{ij}Rx_{ki} $$

Classification (MSC2000): 03B55

Full text of the article:

• Compressed PostScript file (59 kilobytes)
• PDF file (155 kilobytes)