The following pages link to On Extensions of Elementary Logic (Q5606559):
Displaying 40 items.
- Bi-simulating in bi-intuitionistic logic (Q332084) (← links)
- Knowledge representation, the world wide web, and the evolution of logic (Q408317) (← links)
- Propositional team logics (Q526967) (← links)
- Algorithmic uses of the Feferman-Vaught theorem (Q598280) (← links)
- From IF to BI. A tale of dependence and separation (Q833040) (← links)
- The many faces of interpolation (Q1024113) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- A note on syntactical and semantical functions (Q1107520) (← links)
- Interpolation and definability in abstract logics (Q1219265) (← links)
- The old and the new logic of metascience (Q1252849) (← links)
- Carnap's work in the foundations of logic and mathematics in a historical perspective (Q1313378) (← links)
- Accelerating tableaux proofs using compact representations (Q1334905) (← links)
- Definability and automorphisms in abstract logics (Q1762731) (← links)
- A note on extensions of infinitary logic (Q1765098) (← links)
- First-order modal logic: frame definability and a Lindström theorem (Q1790599) (← links)
- Definability hierarchies of generalized quantifiers (Q1824614) (← links)
- Generalized quantifiers and pebble games on finite structures (Q1892941) (← links)
- Chain logic and Shelah's infinitary logic (Q2066130) (← links)
- A logic-based approach to incremental reasoning on multi-agent systems (Q2089459) (← links)
- On representations of intended structures in foundational theories (Q2121479) (← links)
- Paraconsistent metatheory: new proofs with old tools (Q2155941) (← links)
- A Lindström theorem for intuitionistic propositional logic (Q2176405) (← links)
- A Lindström theorem in many-valued modal logic over a finite MTL-chain (Q2219166) (← links)
- Lindström theorems in graded model theory (Q2220488) (← links)
- On compactness of logics that can express properties of symmetry or connectivity (Q2350211) (← links)
- A general Lindström theorem for some normal modal logics (Q2392014) (← links)
- Omitting uncountable types and the strength of \([0,1]\)-valued logics (Q2442152) (← links)
- Two applications of topology to model theory (Q2660154) (← links)
- Positive logics (Q2700818) (← links)
- An Extension of the Ehrenfeucht-Fraïssé Game for First Order Logics Augmented with Lindström Quantifiers (Q2947176) (← links)
- Logics of Finite Hankel Rank (Q2947177) (← links)
- Maximal Logics (Q3050405) (← links)
- ON LÖWENHEIM–SKOLEM–TARSKI NUMBERS FOR EXTENSIONS OF FIRST ORDER LOGIC (Q3094361) (← links)
- LOGICALITY AND MODEL CLASSES (Q5037517) (← links)
- Games and Lindström theorems (Q6043095) (← links)
- Abstract categorical logic (Q6043096) (← links)
- A Lindström theorem for intuitionistic first-order logic (Q6076364) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
- MAXIMALITY OF LOGIC WITHOUT IDENTITY (Q6123583) (← links)
