| Yurii Khomskii (ILLC)
|
Regularity Properties and Definability |
| Bert Baumgaertner (UC Davis)
|
Vagueness and Interaction Effects |
| Marta Sznajder (LMU Munich)
|
Formal semantics for intensional transitive verbs |
| Giovanni Cinà
|
Best System Account of Natural Laws and the Formalization of Scientific Theories |
| David Lanius
|
Vagueness and Unforeseeability |
| Carlos León Aznar (Universität Hamburg)
|
A Computational Model for Automated Extraction of Structural Schemas
from Simple Narrative Plots |
| Stefan Minica (ILLC)
|
Computing Minimal (Probabilistic) Issue Models |
| Christian Kiesow (Technische Universität Berlin)
|
Video Interaction Analysis of Mathematical Practice |
| Umberto Grandi (ILLC)
|
From Individual to Collective Rationality |
| Johannes Marti (ILLC)
|
Adding Semantic Facts to Kripke Models |
| Niki Pfeifer (Munich Center for Mathematical Philosophy)
|
Combining formal epistemology and the psychology of reasoning |
| Kasper Christensen and Bruno Jacinto (ILLC)
|
Actualism, Necessity, and Logical Consequence |
| Lucian Zagan (ILLC) |
Vagueness, Bivalence, and What Is Said. |
| Peter Fritz (ILLC) |
A Logic for Two-Dimensional Semantics. |
| Johannes Marti (ILLC) |
Relation Liftings in Coalgebraic Modal Logic. |
| Alexandru Marcoci (ILLC) |
The Surprise Examination Paradox in Dynamic Epistemic Logic. |
| Paula Henk (ILLC) |
An alternative proof of the arithmetical completeness of GL. |
| Szymon Klarman (Vrije Universiteit Amsterdam) |
From another viewpoint: two-dimensional Description Logics for contextual reasoning
and knowledge integration. |
| Gillman Payette (University of Calgary) |
Prolegomena to a Logic of Norms.
|
| Gideon Borensztajn (ILLC) |
Pointers in the brain: What the systematicity of language tells
about cortical connectivity and connectionism.
|
| Inés Crespo (ILLC) |
Against degree-based semantics for taste.
|
| Bruno Loff (CWI - ILLC) |
The Theory of Real Recursive Functions.
|
| Stéphane Airiau (ILLC) |
Incorporating Learning in BDI agents.
|
| Paper |
| Matthew Wampler-Doty (ILLC) |
EviL (Evidentialist Logic)
|
| António Zilhão (University of Lisbon) |
The mind-body problem in the first decade of the twenty-first century: a guided tour
through the physicalistic landscape.
|
| João Marcos (DIMAp/UFRN, Brazil) |
What is a Non-truth-functional Logic? |
| Mathias Madsen (University of Copenhagen) |
The limits of formal language models |
| Margaux Smets (ILLC) |
Using DOP to extract syntactic categories |
| Cédric Dégremont (ILLC) |
Agreement theorems in dynamic-epistemic logic |
| Sam van Gool (ILLC) |
Canonical extensions, Polarities, and Counterterrorism
|
| Nina Gierasimczuk (ILLC) |
What makes a good teacher? A computational study
|
| Antonio Montalban (University of Chicago) |
The boundary of Determinacy in Second Order Arithmetic
|
| Lisa Fulford (ILLC) |
Modular Canonicity for Bi-implicative Algebras
|
| Jan Heylen (University of Leuven) |
Collapse and slingshot arguments in intensional logic and arithmetic.
|
| Maxim Khalilov (ILLC) |
Syntax-based reordering model for statistical machine translation.
|
| George Barmpalias (ILLC) |
Computability and Randomness.
|
| Spencer Johnston and Sara Uckelman (ILLC) |
John Buridan's Sophismata and interval temporal semantics.
|
| Sonja Smets (Rijksuniversiteit Groningen) |
When Logic Meets Physics.
|
| Lorenz Demey (ILLC) |
It is easy to see that...
|
| Jonathan Zvesper (ILLC) |
Softening Rational Dynamics.
|
| Sebastian Lutz (University of Utrecht) |
Semantic and Syntactic Descriptions of Theories and Models.
|
| Daisuke Ikegami (ILLC & University of Münster) |
Infinite games with imperfect information.
|
| Michael De (University of St Andrews) |
What is wrong with boolean negation?
|
| Sara Ramezani (MoL) |
Nash Social Welfare in Multiagent Resource Allocation
|
|
Thesis
|
|---|
| Amélie Gheerbrant (ILLC) |
Complete Axiomatizations of fragments of MSO on Finite Trees
|
|
Paper |
|---|
| Jakub Szymanik (ILLC) |
Automata, Quantifiers and Natural Language Comprehension
|
|
Paper |
|---|
| Corina Strössner (Universität des Saarlandes) |
The Meaning of Being Normal |
| Martin Bentzen (Roskilde University and ILLC) |
Judging Free Agents - Towards a Formal Theory of Responsibility |
| Walter Carnielli (CLE-State University of Campinas and ICR-University of Luxembourg) |
Sewing Logics Together: the possible-translations semantics and new meanings for old logics |
| Xavier Caicedo (Universidad de los Andes) |
A Characterization of a First-Order Lukasiewicz Logic |
| Sebastian Sequoiah-Grayson (University Leuven) |
A Procedural Interpretation of Split Negation |
| Michael Franke (ILLC) |
Credible information and implicatures: Where pragmatics adds
to game theory |
| Salvador Mascarenhas (ILLC) |
Inquisitive Semantics and Logic |
| Catarina Dutilh Novaes (ILLC) |
Controversies on the notion of Formal/Logical consequence |
| Edgar Andrade (ILLC) |
On some formalizations of Aristotelian syllogistics |
| Rosja Mastop (Utrecht) |
Doing away with the force-content distinction |
| Gideon Borensztajn |
Do children's grammars grow more abstract with age? |
| Krzysztof Apt (CWI and ILLC) | How to Write a Good
Article:
Some Suggestions |
|
slides from the talk
|
| Luc Segoufin (INRIA Futurs) | Order Invariance over Finite Structures |
| Erik Rietveld (ILLC) | Situated and Lived Normativity |
| Ramasubramanian Sharma |
Hetv?abh?asa and Theory of Negation in Indian
Logic
|
| Simon Kramer (Polytechnique) | The Intended and Actual Meaning of a Cryptographic Message and Protocol |
| Wouter Koolen-Wijkstra (ILLC & CWI) | Discovering the Truth
by
Conducting Experiments |
| Sonja Smets (VUB) | Dynamic-Epistemic Quantum Logic |
| Ulle Endriss (ILLC) | Abstract Models for Dialogue Protocols |
| Eva Wilhelmus, University of Bonn | Formalizability and knowledge ascriptions in mathematical practice |
| Dennis Bonnay (IHPST/DEC Paris) | What is a logical constant? |
| Tiago de Lima (Toulouse) | A tableau method for public announcement logics |
| Patrick Girard (Stanford) | Ceteris Paribus Clauses: Normal or Equal? |
| Hans van Ditmarsch (Otago) | Arbitrary announcement logic |
| Edward N. Zalta (Stanford) | Convergence in the Philosophy of Mathematics |
| Peter van Emde Boas (ILLC) | Wij Juliana, .... |
| Ioanna Dimitriou (University of Bonn) | Symmetric models of ZF-set
theory and some applications |
| Stephen Read (St.Andrews) | Thomas Bradwardine and a
fourteenth-century solution to
the semantic paradoxes |
| Sujata Ghosh (ILLC) | Belief-Disbelief Interface: A Bi-logical Approach |
| Simon Huttegger (Konrad Lorenz Institute for Evolution and Cognition Research) |
Dynamics of Signaling Games |
| R. Ramanujam (Chennai Institute of Mathematical Sciences) |
Security Protocols: A Logical Quagmire |
| Tadeusz Litak (Japan Advanced Institute of Science and
Technology) |
Algebraization of $\mathcal{H}(\downarrow,@)$
and the Bounded Fragment |
| Olivier Roy (ILLC) |
From Decision Theory to Belief Dynamics |
| Dick de Jongh & Krister Segerberg (ILLC & Uppsala) |
Part I: Kripke frames, Heyting Algebras, reductions and duality
Part II: Remembrances of the p-morphism in times past |