The following pages link to Frame definability, canonicity and cut elimination in common sense modal predicate logics (Q5019280):
Displayed 1 item.