Pages that link to "Item:Q764264"

The following pages link to A modal logic internalizing normal proofs (Q764264):

Displaying 1 item.

• Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity (Q5028311) (← links)