Pages that link to "Item:Q2269508"
From MaRDI portal
The following pages link to Preface for Studia Logica special issue (2) (Q2269508):
Displayed 12 items.
- Abstract Beth definability in institutions (Q3410686) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium '88), Padova, 1988 (Q3478381) (← links)
- Logic and time (Q3856738) (← links)
- Polynomially and superexponentially shorter proofs in fragments of arithmetic (Q4032866) (← links)
- Note on deducibility and many-valuedness (Q4099604) (← links)
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic (Q4236058) (← links)
- 1992 Annual Meeting of the Australasian Association for Logic (Q4283078) (← links)
- Step by step – Building representations in algebraic logic (Q4338323) (← links)
- 2003 Annual Meeting of the Association for Symbolic Logic (Q4678936) (← links)
- On the basic logic of<i>STIT</i>with a single agent (Q4842624) (← links)
- Cylindric modal logic (Q4842635) (← links)
- Characterizing quantifier extensions of dependence logic (Q4916562) (← links)