The following pages link to Recursive logic frames (Q5469107):
Displaying 6 items.
- Model theory of the regularity and reflection schemes (Q938239) (← links)
- A logic of recursion (Q1262303) (← links)
- Frame problem in dynamic logic (Q3647228) (← links)
- (Q3819057) (← links)
- HENKIN CONSTRUCTIONS OF MODELS WITH SIZE CONTINUUM (Q4632538) (← links)
- A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames (Q5224585) (← links)