DMCA

Power and weakness of the modal display calculus (1996)

by Marcus Kracht
Venue:In Proof theory of modal logic
Citations:24 - 0 self