Pages that link to "Item:Q1820765"

The following pages link to Logics of some Kripke frames connected with Medvedev notion of informational types (Q1820765):

Displaying 2 items.

• On the modal logic of subset and superset: tense logic over Medvedev frames (Q519848) (← links)
• Modal counterparts of Medvedev logic of finite problems are not finitely axiomatizable (Q2276947) (← links)