View publication by year:
- MoL-2020-01:
-
Federico Schiaffino
Memory, Time and Language:
A Mental Time Travel Model in a Narrative Discourse - MoL-2020-02:
- Cornets de Groot Sven Hugo Logical systems with left-sequential versions of NAND and XOR
- MoL-2020-03:
- Rachel Maden The nature of referential intentions
- MoL-2020-04:
- Thijs Benjamins Locally finite varieties of Heyting algebras of width 2
- MoL-2020-05:
- Teodor Tiberiu Călinoiu What Structural Objects Could Be: Mathematical Structuralism and its Prospects
- MoL-2020-06:
- Maëlle Havelange ‘White horse not horse’: An Analysis of Modern Interpretative Approaches to Kung-sun Lung’s White Horse Discourse
- MoL-2020-07:
- Angelica M. Hill The Only Thesis
- MoL-2020-08:
- Tex Aston Felix Schönlank Syntactic logical relations for System F with recursive types and call-by-name semantics
- MoL-2020-09:
- Leo Lobski Quantum quirks, classical contexts: Towards a Bohrification of effect algebras
- MoL-2020-10:
- Boas Kluiving Computationally Efficient Representation Languages for Fairly Dividing Indivisible Goods
- MoL-2020-11:
- Eric Flaten Toward a formal representation of radical interpretation
- MoL-2020-12:
- Martin Karlsson Proofs and Strategies: A Characterization of Classical and Intuitionistic Logic using Games with Explicit Strategies
- MoL-2020-13:
- Sebastian David Melzer Canonical Formulas for the Lax Logic
- MoL-2020-14:
-
Brandon Ryan Hoogstra
From Cross-World Predication to Cross-World Travel:
Building a Bridge between Worlds - MoL-2020-15:
- Marta Campa Deflationism about Reference
- MoL-2020-16:
- Valentin Vogelmann Statistical Methodology for Quantitative Linguistics: A Case Study of Learnability and Zipf’s Law
- PP-2019-15:
-
Peter Hawke, Aybüke Özgün
Truthmaker Semantics for Epistemic Logic
1.Full Text.
- PP-2020-01:
- Merlin Carl, Lorenzo Galeotti Resetting Infinite Time Blum-Shub-Smale-Machines
- PP-2020-02:
- Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill Characterizing existence of a measurable cardinal via modal logic
- PP-2020-03:
- Nick Bezhanishvili, Tommaso Moraschini Hereditarily structurally complete intermediate logics: Citkin's theorem via Esakia duality
- PP-2020-04:
- Guram Bezhanishvili, Nick Bezhanishvili, Luca Carai, David Gabelaia, Silvio Ghilardi, Mamuka Jibladze Diego's theorem for nuclear implicative semilattices
- PP-2020-05:
- Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan, Jan van Mill The McKinsey-Tarski theorem for locally compact ordered spaces
- PP-2020-06:
- Alexandru Baltag, Johan van Benthem A Simple Logic of Functional Dependence
- PP-2020-07:
- Carlo Proietti, Antonio Yuste-Ginel Persuasive Argumentation and Epistemic Attitudes
- PP-2020-08:
-
Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot
Duality for instantial neighbourhood logic via
coalgebra - PP-2020-09:
- Jan Rooduijn, Yde Venema Completeness for axiomatic extensions of modal logic with the master modality
- PP-2020-10:
- Nick Bezhanishvili, Gianluca Grilletti, Davide Emilio Quadrellaro An Algebraic Approach to Inquisitive and DNA-Logics
- PP-2020-11:
- Nick Bezhanishvili, Tim Henke A model-theoretic approach to descriptive general frames: the van Benthem characterisation theorem
- PP-2020-12:
- Guram Bezhanishvili, Nick Bezhanishvili Jankov formulas and axiomatization techniques for intermediate logics
- PP-2020-13:
- Lorenzo Galeotti, Yurii Khomskii, Jouko Väänänen Bounded Symbiosis and Upwards Reflection
- PP-2020-14:
- Johan van Benthem, Fenrong Liu New Logical Perspectives on Monotonicity
- PP-2020-15:
- Arthur Boixel, Ulle Endriss Automated Justification of Collective Decisions via Constraint Solving
- PP-2020-16:
- Sirin Botan, Ulle Endriss Majority-Strategyproofness in Judgment Aggregation
- PP-2020-17:
- Boas Kluiving, Adriaan de Vries, Pepijn Vrijbergen, Arthur Boixel, Ulle Endriss Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving
- PP-2020-18:
- Simon Rey, Ulle Endriss, Ronald de Haan Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation
- PP-2020-19:
- Alexandru Baltag, Johan van Benthem, Dag Westerstähl Compositionality in Context
- PP-2020-20:
- Zoi Terzopoulou Quota Rules for Incomplete Judgments
- PP-2020-21:
- Tom Schoonen The Problem of Modally Bad Company
- PP-2020-22:
- Sam Adam-Day, Nick Bezhanishvili, David Gabelaia, Vincenzo Marra The nerve criterion and polyhedral completeness of intermediate logics
- PP-2021-08:
- Alexandru Baltag, Sonja Smets Learning What Others Know