The following pages link to (Q5332215):
Displaying 25 items.
- SMALL INFINITARY EPISTEMIC LOGICS (Q5216976) (← links)
- (Q5223106) (← links)
- From KLM-style conditionals to defeasible modalities, and back (Q5375876) (← links)
- Recursive logic frames (Q5469107) (← links)
- A survey of proof theory (Q5569099) (← links)
- Reduced products and nonstandard logics (Q5575544) (← links)
- Implicit definability and infinitary languages (Q5591509) (← links)
- Infinitary logic and admissible sets (Q5618341) (← links)
- Weakly atomic-compact relational structures (Q5620596) (← links)
- Infinitary analogs of theorems from first order model theory (Q5639710) (← links)
- Persistent and invariant formulas relative to theories of higher order (Q5642556) (← links)
- On the model theory of denumerably long formulas with finite strings of quantifiers (Q5643984) (← links)
- Products of two-sorted structures (Q5648357) (← links)
- Incompleteness of a formal system for infinitary finite-quantifier formulas (Q5650664) (← links)
- The completeness theorem for infinitary logic (Q5655345) (← links)
- Definability problems for modules and rings (Q5663856) (← links)
- The model-companion of a class of structures (Q5675715) (← links)
- Infinitary formulas preserved under unions of models (Q5677454) (← links)
- INFINITARY GENERALIZATIONS OF DELIGNE’S COMPLETENESS THEOREM (Q5855752) (← links)
- Logic, logics, and logicism (Q5937844) (← links)
- Boolean valued semantics for infinitary logics (Q6073912) (← links)
- Existential relations on infinite structures (Q6111233) (← links)
- Zilber's notion of logically perfect structure: universal covers (Q6593625) (← links)
- Analytic continuation and Zilber's quasiminimality conjecture (Q6593627) (← links)
- Heyting \(\kappa\)-frames (Q6597127) (← links)
