Items where Year is 2020

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: A | B | C | F | G | H | K | L | M | P | R | S | T | V
Number of items: 37.


PP-2020-22: Adam-Day, Sam and Bezhanishvili, Nick and Gabelaia, David and Marra, Vincenzo (2020) The nerve criterion and polyhedral completeness of intermediate logics. [Pre-print]


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

PP-2020-19: Baltag, Alexandru and van Benthem, Johan and Westerstähl, Dag (2020) Compositionality in Context. [Pre-print] (In Press)

MoL-2020-04: Benjamins, Thijs (2020) Locally finite varieties of Heyting algebras of width 2. [Pre-print]

PP-2020-12: Bezhanishvili, Guram and Bezhanishvili, Nick (2020) Jankov formulas and axiomatization techniques for intermediate logics. [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-2020-08: Bezhanishvili, Nick and Enqvist, Sebastian and de Groot, Jim (2020) Duality for instantial neighbourhood logic via coalgebra. [Pre-print]

PP-2020-10: Bezhanishvili, Nick and Grilletti, Gianluca and Quadrellaro, Davide Emilio (2020) An Algebraic Approach to Inquisitive and DNA-Logics. [Pre-print] (Submitted)

PP-2020-11: Bezhanishvili, Nick and Henke, Tim (2020) A model-theoretic approach to descriptive general frames: the van Benthem characterisation theorem. [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-2020-15: Boixel, Arthur and Endriss, Ulle (2020) Automated Justification of Collective Decisions via Constraint Solving. [Pre-print]

PP-2020-16: Botan, Sirin and Endriss, Ulle (2020) Majority-Strategyproofness in Judgment Aggregation. [Pre-print]


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

MoL-2020-05: Călinoiu, Teodor Tiberiu (2020) What Structural Objects Could Be: Mathematical Structuralism and its Prospects. [Pre-print]


MoL-2020-11: Flaten, Eric (2020) Toward a formal representation of radical interpretation. [Report]


PP-2020-13: Galeotti, Lorenzo and Khomskii, Yurii and Väänänen, Jouko (2020) Bounded Symbiosis and Upwards Reflection. [Pre-print] (Submitted)


MoL-2020-06: Havelange, Maëlle (2020) ‘White horse not horse’: An Analysis of Modern Interpretative Approaches to Kung-sun Lung’s White Horse Discourse. [Pre-print]

PP-2019-15: Hawke, Peter and Özgün, Aybüke (2020) Truthmaker Semantics for Epistemic Logic. [Pre-print] (In Press)

MoL-2020-07: Hill, Angelica M. (2020) The Only Thesis. [Report]

MoL-2020-14: Hoogstra, Brandon Ryan (2020) From Cross-World Predication to Cross-World Travel: Building a Bridge between Worlds. [Report]


MoL-2020-12: Karlsson, Martin (2020) Proofs and Strategies: A Characterization of Classical and Intuitionistic Logic using Games with Explicit Strategies. [Report]

MoL-2020-10: Kluiving, Boas (2020) Computationally Efficient Representation Languages for Fairly Dividing Indivisible Goods. [Report]

PP-2020-17: Kluiving, Boas and de Vries, Adriaan and Vrijbergen, Pepijn and Boixel, Arthur and Endriss, Ulle (2020) Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT Solving. [Pre-print]


MoL-2020-09: Lobski, Leo (2020) Quantum quirks, classical contexts: Towards a Bohrification of effect algebras. [Report]


MoL-2020-03: Maden, Rachel (2020) The nature of referential intentions. [Pre-print]

MoL-2020-13: Melzer, Sebastian David (2020) Canonical Formulas for the Lax Logic. [Report]


PP-2020-07: Proietti, Carlo and Yuste-Ginel, Antonio (2020) Persuasive Argumentation and Epistemic Attitudes. [Pre-print]


PP-2020-18: Rey, Simon and Endriss, Ulle and de Haan, Ronald (2020) Designing Participatory Budgeting Mechanisms Grounded in Judgment Aggregation. [Pre-print]

PP-2020-09: Rooduijn, Jan and Venema, Yde (2020) Completeness for axiomatic extensions of modal logic with the master modality. [Pre-print] (Unpublished)


MoL-2020-01: Schiaffino, Federico (2020) Memory, Time and Language: A Mental Time Travel Model in a Narrative Discourse. [Pre-print]

PP-2020-21: Schoonen, Tom (2020) The Problem of Modally Bad Company. [Pre-print] (In Press)

MoL-2020-08: Schönlank, Tex Aston Felix (2020) Syntactic logical relations for System F with recursive types and call-by-name semantics. [Report]

MoL-2020-02: Sven Hugo, Cornets de Groot (2020) Logical systems with left-sequential versions of NAND and XOR. [Pre-print]


PP-2020-20: Terzopoulou, Zoi (2020) Quota Rules for Incomplete Judgments. [Pre-print] (In Press)


PP-2020-14: van Benthem, Johan and Liu, Fenrong (2020) New Logical Perspectives on Monotonicity. [Pre-print] (In Press)

This list was generated on Sat Jan 23 00:30:05 2021 CET.