The following pages link to On the predicate logic of linear Kripke frames and some of its extensions (Q817691):
Displayed 1 item.