Pages that link to "Item:Q1271561"
From MaRDI portal
The following pages link to Computable Kripke models and intermediate logics (Q1271561):
Displaying 10 items.
- Effectiveness in RPL, with applications to continuous logic (Q636319) (← links)
- Kripke models for classical logic (Q636371) (← links)
- First-order logic in the Medvedev lattice (Q897478) (← links)
- Kripke models, distributive lattices, and Medvedev degrees (Q995672) (← links)
- Decidable Kripke models of intuitionistic theories (Q1295382) (← links)
- Effective completeness theorems for modal logic (Q1877094) (← links)
- (Q3707996) (← links)
- (Q4896535) (← links)
- (Q5419879) (← links)
- New Computational Paradigms (Q5717080) (← links)