Embeddings, amalgamation and elementary equivalence: the representation of compact logics
Daniele Mundici (1984)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: