Up a level |

- Subjects (572)
**Mathematics**(63)

Group by: Authors | Item Type

Number of items at this level: **63**.

MoL-2019-08:
Adam-Day, Sam
(2019)
*Polyhedral Completeness in Intermediate and Modal Logics.*
[Report]

PP-2017-15:
Baltag, Alexandru and Boddy, Rachel and Smets, Sonja
(2017)
*Group Knowledge in Interrogative Epistemology.*
[Pre-print]

PP-2020-06:
Baltag, Alexandru and van Benthem, Johan
(2020)
*A Simple Logic of Functional Dependence.*
[Pre-print]
(Submitted)

PP-2019-02:
Baltag, Alexandru and van Benthem, Johan
(2019)
*Some Thoughts on the Logic of Imprecise Observation.*
[Pre-print]

PP-2020-04:
Bezhanishvili, Guram and Bezhanishvili, Nick and Carai, Luca and Gabelaia, David and Ghilardi, Silvio and Jibladze, Mamuka
(2020)
*Diego's theorem for nuclear implicative semilattices.*
[Pre-print]

PP-2020-02:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2020)
*Characterizing existence of a measurable cardinal via modal logic.*
[Pre-print]

PP-2020-05:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2020)
*The McKinsey-Tarski theorem for locally compact ordered spaces.*
[Pre-print]

PP-2017-14:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2017)
*On modal logics arising from scattered locally compact Hausdorff spaces.*
[Pre-print]

PP-2017-13:
Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan
(2017)
*A new proof of the McKinsey-Tarski Theorem.*
[Pre-print]

PP-2017-06:
Bezhanishvili, Guram and Bezhanishvili, Nick and Santoli, Thomas and Venema, Yde
(2017)
*A simple propositional calculus for compact Hausdorff spaces.*
[Pre-print]

PP-2017-19:
Bezhanishvili, Guram and Harding, John and Ilin, Julia and Lauridsen, Frederik Möllerström
(2017)
*MacNeille transferability and stable classes of Heyting algebras.*
[Pre-print]
(Submitted)

PP-2018-13:
Bezhanishvili, Nick and Holliday, Wesley H.
(2018)
*Choice-free Stone duality.*
[Pre-print]

PP-2020-03:
Bezhanishvili, Nick and Moraschini, Tommaso
(2020)
*Hereditarily structurally complete intermediate logics: Citkin's theorem via Esakia duality.*
[Pre-print]

PP-2019-09:
Bezhanishvili, Nick and de Groot, Jim and Venema, Yde
(2019)
*Coalgebraic geometric logic.*
[Pre-print]

PP-2020-01:
Carl, Merlin and Galeotti, Lorenzo
(2020)
*Resetting Infinite Time Blum-Shub-Smale-Machines.*
[Pre-print]
(Submitted)

PP-2018-14:
Carl, Merlin and Galeotti, Lorenzo and Löwe, Benedikt
(2018)
*The Bolzano-Weierstrass Theorem in Generalised Analysis.*
[Pre-print]

PP-2018-17:
Chen, Weiwei and Endriss, Ulle
(2018)
*Aggregating Alternative Extensions of Abstract Argumentation Frameworks: Preservation Results for Quota Rules.*
[Pre-print]

PP-2019-16:
Chen, Weiwei and Endriss, Ulle
(2019)
*Preservation of Semantic Properties in Collective Argumentation: The Case of Aggregating Abstract Argumentation Frameworks.*
[Pre-print]

MoL-2017-19:
Cornelissen, Bas
(2017)
*Bayesian Language Games: Unifying and evaluating agent-based models of horizontal and vertical language evolution.*
[Report]

PP-2018-10:
de Jongh, Dick and Vargas, Ana Lucia
(2018)
*Finite identification with positive and with complete data.*
[Pre-print]

MoL-2017-27:
de Vries, Mees
(2017)
*An Extensional Modified Realizability Topos.*
[Report]

PP-2019-29:
Endriss, Ulle
(2019)
*Collective Information.*
[Pre-print]
(In Press)

PP-2018-16:
Endriss, Ulle
(2018)
*Judgment Aggregation with Rationality and Feasibility Constraints.*
[Pre-print]

PP-2017-20:
Endriss, Ulle
(2017)
*Trends in Computational Social Choice.*
[Pre-print]

PP-2017-05:
Enqvist, Sebastian and Venema, Yde
(2017)
*Disjunctive bases: normal forms for modal logics.*
[Pre-print]
(Submitted)

MoL-2018-27:
Fernández González, Saúl
(2018)
*Generic Models for Topological Evidence Logics.*
[Report]

MoL-2019-23:
Ford, Chase
(2019)
*Investigations into the Expressiveness of First-order Logic and Weak Path Automata on Infinite Trees.*
[Report]

PP-2019-10:
Galeotti, Lorenzo
(2019)
*Surreal Blum-Shub-Smale Machines.*
[Pre-print]
(In Press)

PP-2017-10:
Galeotti, Lorenzo and Löwe, Benedikt
(2017)
*Order types of models of reducts of Peano Arithmetic and their fragments.*
[Pre-print]
(Unpublished)

PP-2017-08:
Galeotti, Lorenzo and Nobrega, Hugo
(2017)
*Towards computable analysis on the generalised real line.*
[Pre-print]
(In Press)

MoL-2017-04:
Griffioen, Simone
(2017)
*Covertly Controlling Choices: Manipulating Decision Making Under Partial Knowledge.*
[Report]

MoL-2018-36:
Gu, Tao
(2018)
*Majorizability Types, Assemblies, and the Fan Theorem.*
[Report]

MoL-2018-08:
Heerkens, Noor
(2018)
*Studies in Minimal Mathematics.*
[Report]

MoL-2019-12:
Henke, Tim
(2019)
*The van Benthem Characterisation Theorem for Descriptive Models.*
[Report]

MoL-2017-07:
Hornischer, Levin
(2017)
*Hyperintensionality and Synonymy.*
[Report]

PP-2018-05:
Lauridsen, Frederik Möllerström
(2018)
*Intermediate logics admitting a structural hypersequent calculus.*
[Pre-print]
(In Press)

PP-2018-15:
Löwe, Benedikt and Passmann, Robert and Tarafder, Sourav
(2018)
*Constructing illoyal algebra-valued models of set theory.*
[Pre-print]
(Submitted)

PP-2018-07:
Löwe, Benedikt and Van Kerkhove, Bart
(2018)
*Methodological triangulation in empirical philosophy (of mathematics).*
[Pre-print]
(In Press)

MoL-2019-04:
Maia, Nuno
(2019)
*Tennenbaum’s Theorem and Non-Classical Arithmetic.*
[Report]

MoL-2016-23:
Massas, Guillaume
(2016)
*Possibility Spaces, Q-Completions and Rasiowa-Sikorski Lemmas for Non-Classical Logics.*
[Report]

MoL-2018-31:
Mierzewski, Krzysztof
(2018)
*Probabilistic Stability: dynamics, nonmonotonic logics, and stable revision.*
[Report]

MoL-2018-32:
Milanese, Gian Carlo
(2018)
*An exploration of closure ordinals in the modal μ-calculus.*
[Pre-print]

MoL-2019-15:
O’Connell, David
(2019)
*Lorentzian Structures on Branching Spacetimes.*
[Report]

PP-2019-05:
Passmann, Robert
(2019)
*The de Jongh property for bounded constructive Zermelo-Fraenkel set theory.*
[Pre-print]
(Submitted)

MoL-2018-03:
Paßmann, Robert
(2018)
*Loyalty and Faithfulness of Model Constructions for Constructive Set Theory.*
[Report]

MoL-2017-17:
Piribauer, Jakob
(2017)
*The Modal Logic of Generic Multiverses.*
[Report]

MoL-2019-25:
Quadrellaro, Davide Emilio
(2019)
*Lattices of DNA-Logics and Algebraic Semantics of Inquisitive Logic.*
[Report]

MoL-2018-34:
Rooduijn, Jan
(2018)
*A right semimodel structure on semisimplicial sets.*
[Pre-print]

MoL-2019-09:
Santamaría Legarda, David
(2019)
*Defending Classes.*
[Report]

PP-2019-06:
Shavrukov, V. Yu.
(2019)
*R.e. prime powers and total rigidity.*
[Pre-print]

PP-2019-19:
Terzopoulou, Zoi and Endriss, Ulle
(2019)
*Aggregating Incomplete Pairwise Preferences by Weight.*
[Pre-print]

PP-2018-04:
Terzopoulou, Zoi and Endriss, Ulle
(2018)
*Modelling Iterative Judgment Aggregation.*
[Pre-print]

PP-2019-28:
Terzopoulou, Zoi and Endriss, Ulle
(2019)
*Neutrality and Relative Acceptability in Judgment Aggregation.*
[Pre-print]
(In Press)

PP-2019-20:
Terzopoulou, Zoi and Endriss, Ulle
(2019)
*Optimal Truth-Tracking Rules for the Aggregation of Incomplete Judgments.*
[Pre-print]

PP-2019-17:
Terzopoulou, Zoi and Endriss, Ulle
(2019)
*Rethinking the Neutrality Axiom in Judgment Aggregation (Extended Abstract).*
[Pre-print]

PP-2019-18:
Terzopoulou, Zoi and Endriss, Ulle
(2019)
*Strategyproof Judgment Aggregation under Partial Information.*
[Pre-print]
(In Press)

X-2018-02:
Troelstra, A.S.
(2018)
*Corrections to some Publications.*
[Report]

PP-2017-22:
van Benthem, Johan
(2017)
*Against All Odds: When Logic Meets Probability.*
[Pre-print]
(In Press)

PP-2017-21:
van Benthem, Johan
(2017)
*Constructive Agents.*
[Pre-print]
(In Press)

PP-2017-25:
van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian
(2017)
*A New Game Equivalence and Its Modal Logic.*
[Pre-print]

PP-2019-04:
van Benthem, Johan and Klein, Dominik
(2019)
*Logics for Analyzing Games.*
[Pre-print]
(In Press)

MoL-2018-01:
van den Berg, Line
(2018)
*Unreliable Gossip.*
[Report]

MoL-2017-18:
Zhao, Bonan
(2017)
*Dynamic Epistemic Logic Models for Predicting the Cognitive Difficulty of the Deductive Mastermind Game.*
[Report]