-
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
