Pages that link to "Item:Q817688"

The following pages link to Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688):

Displaying 1 item.

• Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)