Back to Results
First PageMeta Content
Quantification / Predicate logic / Semantics / Finite model theory / Philosophical logic / Generalized quantifier / FO / Sentence / Model theory / Logic / Mathematical logic / Theoretical computer science


Monotonicity has only a relative effect on the complexity of quantifier verification Jakub Szymanik∗ and Marcin Zajenkowski† 1 Institute for Logic, Language and Computation
Add to Reading List

Document Date: 2013-12-13 13:15:40

Open Document

File Size: 422,86 KB

Share Result on Facebook

City

Amsterdam / Somerville / /

/

Facility

University of Amsterdam / University of Warsaw / Computation University / /

IndustryTerm

semantic processing / push-down automata algorithm / /

Organization

Lecture Notes In Artificial Intelligence / University of Warsaw / Institute for Logic / Logic / Language and Computation University / Faculty of Psychology / University of Amsterdam / Polish National Science Centre / /

Person

Jorie Koster-Moeller / Martin Hackl / Jakub Szymanik / Corey T. McMillan / Peachie Moore / Johan van Benthem / Michael Franke / Jason Varvoutis / Leo Noordman / Jon Barwise / Bart Geurts / Napoleon Katsos / Rafał Styła / Christian Devita / Maria Aloni / Robin Clark / Marcin Zajenkowski / Chris Cummins / Robin Cooper / Floris Roelofsen / Murray Grossman / Jonas Moons / /

PublishedMedium

Journal of Semantics / Journal of Linguistics / /

Region

West Coast / /

Technology

push-down automata algorithm / /

SocialTag