Pages that link to "Item:Q5737943"
From MaRDI portal
The following pages link to REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION (Q5737943):
Displaying 3 items.
- Realizability semantics of the early period of Markov's constructivism (history and problems) (Q2751811) (← links)
- Generalised modal realisation as a practical and efficient tool for FWL implementation (Q3015116) (← links)
- TRUNCATION AND SEMI-DECIDABILITY NOTIONS IN APPLICATIVE THEORIES (Q4692077) (← links)