Result 1 to 20 of 51 total
Second order logic or set theory? (English)
Bull. Symb. Log. 18, No. 1, 91-121 (2012).
1
From IF to BI: a tale of dependence and separation. (English)
Comput. Res. Repos. 2011, Article No. 1102.1388 (2011).
2
Erratum to: “On definability in dependence logic”. (English)
J. Logic Lang. Inf. 20, No. 1, 133-134 (2011).
3
A remark on negation in dependence logic. (English)
Notre Dame J. Formal Logic 52, No. 1, 55-65 (2011).
4
A remark on negation in dependence logic (English)
Notre Dame Journal of Formal Logic 52, No. 1, 55-65 (2011).
5
Dependence of variables construed as an atomic formula. (English)
Ann. Pure Appl. Logic 161, No. 6, 817-828 (2010).
6
On definability in dependence logic. (English)
J. Logic Lang. Inf. 18, No. 3, 317-332 (2009); erratum ibid. 20, No. 1, 133-134 (2011).
7
Lindström theorems for fragments of first-order logic. (English)
Log. Methods Comput. Sci. 5, No. 3, Paper 3, 27 p., electronic only (2009).
8
From IF to BI. A tale of dependence and separation. (English)
Synthese 167, No. 2, 207-230 (2009).
9
From IF to BI (English)
Synthese 167, No. 2, 207-230 (2009).
10
Regular ultrafilters and finite square principles (English)
J. Symb. Log. 73, No. 3, 817-823 (2008).
11
Introduction to the special theme: maths for everyday life (English)
ERCIM News 2008, No. 73 (2008).
12
The Craig interpolation theorem in abstract model theory (English)
Synthese 164, No. 3, 401-420 (2008).
13
Team logic. (English)
van Benthem, Johan (ed.) et al., Interactive logic. Selected papers from the 7th Augustus de Morgan workshop on interactive logic: Games and social software, King’s College, London, UK, November 4‒7, 2005. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-356-4/pbk). Texts in Logic and Games 1, 281-302 (2007).
14
Dependence logic. A new approach to independence friendly logic. (English)
London Mathematical Society Student Texts 70. Cambridge: Cambridge University Press (ISBN 978-0-521-87659-9/hbk; 978-0-521-70015-3/pbk). ix, 225~p. \$~45.00,\sterling~23.00/pbk; \$~125.00, \sterling~60.00/hbk (2007).
15
Lindstrom theorems for fragments of first-order logic (English)
LICS, 280-292 (2007).
16
Finite information logic. (English)
Ann. Pure Appl. Logic 134, No. 1, 83-93 (2005).
17
Barwise: abstract model theory and generalized quantifiers (English)
Bulletin of Symbolic Logic 10, No. 1, 37-53 (2004).
18
Pseudo-finite model theory. (English)
Mat. Contemp. 24, 169-183 (2003).
19
On the expressive power of monotone natural language quantifiers over finite models. (English)
J. Philos. Log. 31, No.4, 327-358 (2002).
20
Result 1 to 20 of 51 total
Start
Contact
Print
General Help
