Generalized Archimedean fields and logics with Malitz quantifiers
J. Cowles (1981)
Fundamenta Mathematicae
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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: