Pages that link to "Item:Q995672"
From MaRDI portal
The following pages link to Kripke models, distributive lattices, and Medvedev degrees (Q995672):
Displaying 8 items.
- Kripke models for classical logic (Q636371) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Destructibility and axiomatizability of Kaufmann models (Q2085581) (← links)
- Constructive logic and the Medvedev lattice (Q2505132) (← links)
- The finite intervals of the Muchnik lattice (Q5390250) (← links)
- New Computational Paradigms (Q5717080) (← links)
- (Q5884959) (← links)
- METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS (Q6103448) (← links)