Generalized Archimedean fields and logics with Malitz quantifiers
J. Cowles (1981)
Fundamenta Mathematicae
Similarity:
Displaying similar documents to “The theory of Archimedean real closed fields in logics with Ramsey quantifiers”
Generalized Archimedean fields and logics with Malitz quantifiers
Compactness=JEP in any logic
Daniele Mundici (1983)
Fundamenta Mathematicae
Similarity:
A complete first-order logic with infinitary predicates
H. Keisler (1963)
Fundamenta Mathematicae
Similarity:
On the relation of three-valued logic to modal logic
Kamila Bendová (1981)
Commentationes Mathematicae Universitatis Carolinae
Similarity:
Kripke models for intuitionistic theories with decidable atomic formulas.
Marković, Zoran (1984)
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:
Completeness Theorem for a First Order Linear-time Logic
Zoran Ognjanović (2001)
Publications de l'Institut Mathématique
Similarity:
On axiomatizability and preservation in Kripke models.
Markovic, Zoran (1981)
Publications de l'Institut Mathématique. Nouvelle Série
Similarity:
Sequents in many valued logic I
G. Rousseau (1967)
Fundamenta Mathematicae
Similarity: