View publication by year:
- MoL-2007-01:
- Jonathan Zvesper A Revised Version: Belief Revision and Epistemic Acts
- MoL-2007-02:
- Wouter Koolen Discovering the truth by conducting experiments
- MoL-2007-03:
- Höskuldur Hlynsson Transfer Learning Using the Minimum Description Length Principle with a Decision Tree Application
- MoL-2007-04:
- Tijmen R. Daniëls Social Choice and Logic via Simple Games
- MoL-2007-05:
- Can Baskent Topics in Subset Space Logic
- MoL-2007-06:
- Gerben de Vries Formalizing Implicatures Using Extended Logic Programming
- MoL-2007-07:
- Marcello Di Bello Formalizing Legislation in the Event Calculus: The Case of the Italian Citizenship Law
- MoL-2007-08:
- Ori Garin A computational model of reference
- MoL-2007-09:
- Harald Bastiaanse Clarity in Non-Monotonic Logic
- MoL-2007-10:
- David Chabot Individual-level Predicates and When-Conditionals
- MoL-2007-11:
- Yurii Khomskii Regularity Properties and Determinacy
- MoL-2007-12:
- Sandeep Murthy Group-theoretic Methods for Bounding the Exponent of Matrix Multiplication
- MoL-2007-13:
- Ansten Mørch Klev Extending Kleene's O Using Infinite Time Turing Machines
- MoL-2007-14:
- Joost Winter Space Complexity in Infinite Time Turing Machines
- MoL-2007-15:
- Christian Kissig Decidability of S2S
- MoL-2007-16:
- Jesse Aron Harris Revealing Concealment: A (Neuro-)Logical Investigation of Concealed Questions
- MoL-2007-17:
- Brammert Ottens Comparing Winner Determination Algorithms for Mixed Multi-Unit Combinatorial Auctions
- MoL-2007-18:
- Lena Kurzen Logics for Cooperation, Actions and Preferences
- MoL-2007-19:
- Raul Andres Leal Rodriguez Expressivity of Coalgebraic Modal Languages
- MoL-2007-20:
- Gustaaf Haan How illiterates interpret syllogistic problems
- MoL-2007-21:
- Theodora Achourioti Logic, Normativity, and the A Priori
- MoL-2007-22:
- Petter Remen Automata on flows
- MoL-2007-23:
- Federico Sangati Towards simpler tree substitution grammars
- PP-2007-01:
- Fenrong Liu Diversity of Agents and their Interaction
- PP-2007-02:
- Jacob Vosmaer Essentially Sigma-1 formulae in Sigma L
- PP-2007-03:
- Johan van Benthem Logic and Reasoning: Do the Facts Matter?
- PP-2007-04:
- Johan van Benthem Situation Calculus Meets Modal Logic
- PP-2007-05:
- Johan van Benthem Man Muss Immer Umkehren
- PP-2007-06:
- Johan van Benthem Inference in Action
- PP-2007-07:
- Johan van Benthem LOGIC GAMES: from tools to models of interaction
- PP-2007-08:
- Johan van Benthem, Jelle Gerbrandy, Eric Pacuit Merging Frameworks for Interaction: DEL and ETL
- PP-2007-09:
- Johan van Benthem, Olivier Roy, Patrick Girard Everything else being equal: A modal logic approach to ceteris paribus preferences
- PP-2007-10:
- Johan van Benthem Actions that Make us Know
- PP-2007-11:
- Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel A Fully Connectionist Model Generator for Covered
- PP-2007-12:
- Krzystof Apt, Andreas Witzel A Generic Approach to Coalition Formation
- PP-2007-13:
- Theo Janssen Independence and Hintikka games
- PP-2007-14:
- Theo Janssen Compiler correctness and the translation of logics
- PP-2007-15:
- Sujata Ghosh, Benedikt Löwe, Erik Scorelle Belief Flow in Assertion Networks
- PP-2007-16:
- Sara L. Uckelman, Joel Uckelman Modal and Temporal Logics for Abstract Space-Time Structures
- PP-2007-17:
- Sara L. Uckelman, Henrik Schärfe Historical and Conceptual Foundation of Diagrammatical Ontology
- PP-2007-18:
- Juha Kontinen, Jouko Väänänen On Definability in Dependence Logic
- PP-2007-19:
- Yann Chevaleyre, Ulle Endriss, Nicolas Maudet Allocating Goods on a Graph to Eliminate Envy
- PP-2007-20:
- Xavier Caicedo, Francien Dechesne, Theo M.V. Janssen Equivalence and quantier rules for logic with imperfect information
- PP-2007-21:
- Martin van Hees, Olivier Roy Intentions, Decisions and Rationality
- PP-2007-22:
- Benedikt Löwe Visualization of ordinals
- PP-2007-23:
- Ulle Endriss Vote Manipulation in the Presence of Multiple Sincere Ballots
- PP-2007-24:
- Eva Wilhelmus Formalizability and Knowledge Ascriptions in Mathematical Practice
- PP-2007-25:
- Jialong Zhang, Fenrong Liu Some Thoughts on Mohist Logic
- PP-2007-26:
- Johan van Benthem, Sujata Ghosh, Fenrong Liu Modelling Simultaneous Games with Dynamic Logic
- PP-2007-27:
- Joel Uckelman, Ulle Endriss Preference Representation with Weighted Goals: Expressivity, Succinctness, Complexity
- PP-2007-28:
- Juha Kontinen, Jakub Szymanik A Remark on Collective Quantification
- PP-2007-29:
- Merlijn Sevenster A strategic perspective on IF games
- PP-2007-30:
- Helle Hvid Hansen, Clemens Kupke, Eric Pacuit Bisimulation for Neighbourhood Structuress
- PP-2007-31:
- Sara Uckelman Anselm's Logic of Agency
- PP-2007-32:
- Benedikt Löwe, Thomas Müller, Eva Wilhelmus Mathematical knowledge: a case study in empirical philosophy of mathematics
- PP-2007-33:
- Bernd Buldt, Benedikt Löwe, Thomas Müller Towards a new epistemology of mathematics
- PP-2007-34:
- Jacob Vosmaer MacNeille completion and profinite completion can coincide on finitely generated modal algebras
- PP-2007-35:
- Michael Franke The Pragmatics of Biscuit Conditionals
- PP-2007-36:
- Michael Franke Interpretation of Optimal Signals
- PP-2007-37:
- Jakub Szymanik A Strong Meaning Hypothesis from a Computational Perspective
- PP-2007-38:
- Çigdem Gencer, Dick de Jongh Unifiability in extensions of K4
- PP-2007-39:
- Balder ten Cate, Tadeusz Litak The importance of being discrete
- PP-2007-40:
- Gideon Borensztajn, Willem Zuidema Bayesian Model Merging for Unsupervised Constituent Labeling and Grammar Induction
- X-2007-01:
- Johan van Benthem Intelligent Interaction: Dynamic Trends in Todays Logic
- X-2007-02:
- Johan van Benthem An Interview on Logic and Games
- X-2007-03:
- Fan Yang On HS=SH and Duality Theorems of Intuitionistic Descriptive Frames