The following pages link to (Q5544276):
Displaying 15 items.
- From the weak to the strong existence property (Q448335) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- Pure extensions, proof rules, and hybrid axiomatics (Q863181) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- Hybrid logic meets IF modal logic (Q1047800) (← links)
- Elimination of unbounded quantifiers for some poly-regular groups of infinite rank (Q2461190) (← links)
- Expressivity of second order propositional modal logic (Q2499295) (← links)
- Characterizing the interpretation of set theory in Martin-Löf type theory (Q2500469) (← links)
- Guards, bounds, and generalized semantics (Q2567341) (← links)
- Varieties of complex algebras (Q2641327) (← links)
- Logics of Finite Hankel Rank (Q2947177) (← links)
- Which Quantifiers Are Logical? A Combined Semantical and Inferential Criterion (Q3299517) (← links)
- Peano Corto and Peano Basso: A Study of Local Induction in the Context of Weak Theories (Q5404169) (← links)
- POINCARÉ–WEYL’S PREDICATIVITY: GOING BEYOND (Q6204145) (← links)
