Items where Year is 2018

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Authors | Item Type | No Grouping
Jump to: B | C | D | E | F | G | H | I | J | L | M | N | O | P | R | S | T | V | X
Number of items: 56.

B

PP-2018-09: Bezhanishvili, Nick and Colacito, Almudena and de Jongh, Dick (2018) A Study of Subminimal Logics of Negation and their Modal Companions. [Pre-print] (Submitted)

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

C

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]

MoL-2018-25: Commandeur, Leon (2018) Logical Functionalism. [Report]

D

MoL-2018-09: Damanik, Raja Oktovin Parhasian (2018) Optimality in Stabilizer Testing. [Report]

MoL-2018-10: Don, Jelle Wijnand (2018) Post-quantum Security of Fiat-Shamir Signatures. [Report]

PP-2018-03: Döcker, Janosch and Dorn, Britta and Endriss, Ulle and de Haan, Ronald and Schneckenburger, Sebastian (2018) Tool Auctions. [Pre-print]

PP-2018-11: de Haan, Ronald (2018) Hunting for Tractable Languages for Judgment Aggregation. [Pre-print] (In Press)

PP-2018-12: de Haan, Ronald (2018) A Parameterized Complexity View on Description Logic Reasoning. [Pre-print] (In Press)

PP-2018-08: de Jongh, Dick and Maleki, Fatemeh Shirmohammadzadeh (2018) Two Neighborhood Semantics for Subintuitionistic Logics. [Pre-print] (Submitted)

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

E

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

PP-2018-02: Endriss, Ulle and Grandi, Umberto (2018) Graph Aggregation: Extended Abstract. [Pre-print]

F

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

G

MoL-2018-23: Gijzen, Marlou M. (2018) A Constructive Approach Towards Formalizing Relativization Using Combinatory Logic. [Report]

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

H

MoL-2018-29: Haenen, Jana (2018) A Gödel-style translation from positive calculus into strict implication logic. [Report]

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

MoL-2018-30: Hoeks, Morwenna (2018) Coordinating Questions. [Report]

MoL-2018-11: Hungerbühler, Silvan (2018) A Computational Method for Philosophical Interpretation. [Pre-print]

I

MoL-2018-12: Ionescu, Stefania (2018) Advancing the Use of Sparse Knowledge for Qualitative Models and Simulations. [Report]

J

MoL-2018-20: Jónsson, Haukur Páll (2018) Real Logic and Logic Tensor Networks. [Report]

L

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

MoL-2018-14: Lewis, Ethan S. (2018) Computation with Infinite Programs. [Report]

MoL-2018-07: Lisowski, Grzegorz (2018) Preventing Manipulation in Aggregating Value-Based Argumentation Frameworks. [Report]

MoL-2018-22: Luthra, Mrinalini (2018) How do we Develop Ethically Aware AI? [Report]

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)

M

MoL-2018-28: McHugh, Dean (2018) Counterfactuals and the Logic of Imaginative Content. [Report]

MoL-2018-06: Metzler, Heidi (2018) Algorithmic Complexity in Textile Patterns. [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-2018-02: Molenaar, Laura S. (2018) Quine and Loglan: the Influence of Philosophical Ideas on the Creation of a Logical Language. [Pre-print]

MoL-2018-13: Mul, Mathijs S. (2018) Recognizing Logical Entailment: Reasoning with Recursive and Recurrent Neural Networks. [Report]

MoL-2018-19: Möller Kalpak, Hana (2018) Inquisitive Logical Triviality and Grammar. [Report]

N

MoL-2018-05: Nizzardo, Matteo (2018) Leibniz's Principle and the Problem of Nonindividuality. [Pre-print]

O

X-2018-01: O'Connell, David (2018) Supertasks and Spacetime. [Report]

P

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

MoL-2018-15: Pesetsky, Jonathan (2018) Factual Conditionals and Hypothetical Commitments. [Report]

MoL-2018-33: Proroković, Krsto (2018) Learning to Decide a Formal Language: A Recurrent Neural Network Approach. [Report]

R

MoL-2018-17: Rapp, Max (2018) Hybrid Logics for Arguments, Beliefs, and their Dynamics. [Report]

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

S

MoL-2018-21: Schmitt, Marvin (2018) CRISP: a semantics for focus-sensitive particles in questions. [Report]

PP-2018-18: Solaki, Anthia and Smets, Sonja (2018) The effort of reasoning: modelling the inference steps of boundedly rational agents. [Pre-print]

T

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

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

MoL-2018-16: Turska, Julia Joanna (2018) Conceptual Relativism and Linguistic Anthropology: How to comprehend the incomprehensible? [Report]

V

MoL-2018-18: Viterbo Ferreira, Jorge (2018) The Problem of Counterpossibles. [Report]

PP-2018-06: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2018) A new game equivalence, its logic and algebra. [Pre-print]

PP-2018-01: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian (2018) A propositional dynamic logic for instantial neighborhood semantics. [Pre-print]

MoL-2018-24: van Oostveen, Lucy (2018) What You Know About People’s Preferences Matters: Investigating simpler notions of partial information in the context of strategic manipulation in voting. [Report]

MoL-2018-04: van Wier, Jeroen (2018) Quantum Plaintext Non-Malleability. [Report]

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

MoL-2018-26: van den Broek, Max (2018) You Don't Believe This Is The Title Moore's Paradox and its relation to the Surprise Exam Paradox, the Knowability Paradox, the Toxin Problem and Newcomb’s Problem. [Report]

X

MoL-2018-35: Xing, Yujie (2018) Examining Personality Differences in Chit-Chat Sequence to Sequence Conversational Agents. [Report]

This list was generated on Fri Aug 7 00:30:15 2020 CEST.