Back to Results
First PageMeta Content
Model theory / Mathematical logic / Logical syntax / Interpretation / First-order logic / Entailment / Well-formed formula / Linear temporal logic / Dependence logic / Logic / Metalogic / Formal languages


Document Date: 2010-03-11 12:21:44

Open Document

File Size: 433,24 KB

Share Result on Facebook

Country

Finland / Netherlands / /

Facility

University of Helsinki / Mittag-Leffler Institute / University of Amsterdam / /

Organization

University of Amsterdam / University of Helsinki / Mittag-Leffler Institute / Department of Mathematics and Statistics / Academy of Finland / /

Position

first author / second author / model / and Y ⊆ X teams / /

Technology

dom / IML / /

SocialTag