Embeddings, amalgamation and elementary equivalence: the representation of compact logics
Daniele Mundici (1984)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “Compactness=JEP in any logic”
Embeddings, amalgamation and elementary equivalence: the representation of compact logics
A generalization of abstract model theory
Daniele Mundici (1984)
Fundamenta Mathematicae
Similarity:
On axiomatizability and preservation in Kripke models.
Markovic, Zoran (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Provability in arithmetic and a schema of Grzegorczyk
George Boolos (1980)
Fundamenta Mathematicae
Similarity:
Completeness Theorem for a First Order Linear-time Logic
Zoran Ognjanović (2001)
Publications de l'Institut Mathématique
Similarity:
Inference in Action
Johan van Benthem (2007)
Publications de l'Institut Mathématique
Similarity:
Semantics for some intermediate logics.
Božić, Milan (1985)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
A completeness theorem in the modal logic of programs
Krister Segerberg (1982)
Banach Center Publications
Similarity:
A complete first-order logic with infinitary predicates
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
Analytic Tableaux and Interpolation
Miodrag Kapetanović (2007)
Publications de l'Institut Mathématique
Similarity: