Pages that link to "Item:Q518747"
From MaRDI portal
The following pages link to On expressive power of basic modal intuitionistic logic as a fragment of classical FOL (Q518747):
Displaying 4 items.
- On the universality of atomic and molecular logics via protologics (Q2169136) (← links)
- A Lindström theorem for intuitionistic propositional logic (Q2176405) (← links)
- On generalized van Benthem-type characterizations (Q2358625) (← links)
- A van Benthem theorem for atomic and molecular logics (Q6659900) (← links)
