[Lecture Notes in Computer Science] Logic, Language and Meaning Volume 6042 || Quantifiers and Working Memory

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic, Language and Meaning Volume 7218 || Polarities in Logic and Semantics

✍ Aloni, Maria; Kimmelman, Vadim; Roelofsen, Floris; Sassoon, Galit W.; Schulz, Ka 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 204 KB

This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 thoroughly refereed and revised contributions out of 137 submissions presented together with 2 invited talks are organized in five sections. The first se

[Lecture Notes in Computer Science] New

[Lecture Notes in Computer Science] New Directions in Logic, Language and Computation Volume 7415 || Embodied Quantifiers

✍ Lassiter, Daniel; Slavkovik, Marija 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 849 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic, Language and Meaning Volume 7218 || A Theory of Names and True Intensionality

✍ Aloni, Maria; Kimmelman, Vadim; Roelofsen, Floris; Sassoon, Galit W.; Schulz, Ka 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 196 KB

This book contains the revised papers presented at the 8th Amsterdam Colloquium 2011, held in Amsterdam, The Netherlands, in December 2011. The 46 thoroughly refereed and revised contributions out of 137 submissions presented together with 2 invited talks are organized in five sections. The first se

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 6247 || Exact Exploration and Hanging Algorithms

✍ Dawar, Anuj; Veith, Helmut 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 223 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic, Language, and Computation Volume 6618 || Functional Analysis of Contrasting Conjunctions in Georgian

✍ Bezhanishvili, Nick; Löbner, Sebastian; Schwabe, Kerstin; Spada, Luca 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 354 KB

[Lecture Notes in Computer Science] Lect

[Lecture Notes in Computer Science] Lectures on Logic and Computation Volume 7388 || Ten Problems of Deontic Logic and Normative Reasoning in Computer Science

✍ Bezhanishvili, Nick; Goranko, Valentin 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 379 KB