Pages that link to "Item:Q1329745"

The following pages link to A tableau-like proof procedure for normal modal logics (Q1329745):

Displaying 2 items.

• A simple tableau system for the logic of elsewhere (Q4645235) (← links)
• Uniform and non uniform strategies for tableaux calculi for modal logics (Q4835516) (← links)