Pages that link to "Item:Q5241399"

The following pages link to A Modified Subformula Property for the Modal Logic S4.2 (Q5241399):

Displaying 2 items.

• A modified subformula property for the modal logic KC4 (Q2027110) (← links)
• A natural deduction calculus for \textbf{S4.2} (Q6589311) (← links)