|
307
|
A Shorter Model Theory
– Hodges
- 1997
|
|
54
|
The Structure of Science
– Nagel
- 1961
|
|
46
|
Topics in relation algebra
– Maddux
- 1978
|
|
29
|
Algebraic Logic
– Andréka, Németi, et al.
- 2001
|
|
11
|
The logical structure of the world
– Carnap
- 1967
|
|
11
|
Foundations of Space-Time Theories: Relativistic Physics and Philosophy of Science
– Friedman
- 1983
|
|
9
|
Interpolation in algebraizable logics; semantics for non-normal multi-modal logic
– Madarasz
- 1998
|
|
7
|
The Craig Interpolation Theorem in Multi-Modal Logics
– Madarász
- 1995
|
|
7
|
Interpolation and amalgamation; pushing the limits
– Madarasz
- 1998
|
|
6
|
On the logical structure of relativity theories. Research report, Alfred Renyi
– Andreka, Madarasz, et al.
- 2002
|
|
6
|
Axiomatization of the theory of relativity
– Reichenbach
- 1969
|
|
5
|
Logical analysis of special relativity
– Andreka, Madarasz, et al.
- 1999
|
|
5
|
Analyzing the logical structure of relativity theory via model theoretic logic. Lecture notes for A'dam course
– Andreka, Madarasz, et al.
- 1998
|
|
5
|
Deciding arithmetic in Malament-Hogarth spacetimes
– Hogarth
- 2001
|
|
4
|
On the effective computability of non-recursive functions via Malament-Hogarth space-times
– Etesi, Nemeti
- 2002
|
|
4
|
Classi theory over a predicate I
– Pillay, Shelah
- 1985
|
|
3
|
Foundations of logic and mathematics
– Carnap
- 1939
|
|
3
|
Epimorphisms in discriminator varieties
– Madarasz
- 1998
|
|
2
|
with contributions from
– Andreka, Madarasz, et al.
- 2002
|
|
2
|
Time like spaces
– Busemann
- 1967
|
|
2
|
Logical Dilemmas. The life and work of Kurt
– Dawson
- 1997
|
|
2
|
relative categoricity and coordinatisation
– Omega-categoricity
- 1990
|
|
1
|
Closed timelike curves in Lorentz spacetimes
– Charette, Drumm, et al.
- 2002
|
|
1
|
Extending beth's theorem
– Hodges
- 1988
|
|
1
|
Lewis Philosophical Papers Volume II
– David
- 1986
|
|
1
|
Equivalence theorems, Section 6 in Chapter Algebraic Logic
– Madarasz
- 2001
|
|
1
|
Free Boolean algebras with closure operators and a conjecture of
– Madarasz, Nemeti
- 2001
|
