Items where Year is 2015

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 | D | E | F | G | I | K | L | M | N | P | S | V | W | Z
Number of items: 58.

A

PP-2015-04: Andréka, Hajnal and van Benthem, Johan and Bezhanishvili, Nick and Németi, István (2015) Changing a Semantics: Opportunism or Courage? [Report]

B

PP-2015-18: Baltag, Alexandru and Bezhanishvili, Nick and Smets, Sonja (2015) The topological theory of belief. [Report]

PP-2015-22: Baltag, Alexandru and Christoff, Zoé and Rendsvig, Rasmus K. and Smets, Sonja (2015) Dynamic Epistemic Logic of Diffusion and Prediction in Social Networks. [Report]

PP-2015-13: Baltag, Alexandru and Gierasimczuk, Nina and Smets, Sonja (2015) On the Solvability of Inductive Problems: A Study in Epistemic Topology. [Report]

PP-2015-08: Bezhanishvili, Guram and Bezhanishvili, Nick and Ilin, Julia (2015) Cofinal stable logics. [Report]

PP-2015-15: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2015) S4.3 and hereditarily extremally disconnected spaces. [Report]

PP-2015-14: Bezhanishvili, Nick and Gabelaia, David and Ghilardi, Silvio and Jibladze, Mamuka (2015) Admissible bases via stable canonical rules. [Report]

PP-2015-16: Bezhanishvili, Nick and Galatos, Nick and Spada, Luca (2015) Canonical formulas for k-potent commutative, integral residuated lattices. [Report]

PP-2015-21: Bezhanishvili, Nick and Ghilardi, Silvio and Lauridsen, Frederik Möllerström (2015) One-step Heyting algebras and hypersequent calculi with the bounded proof property. [Report]

PP-2015-09: Bezhanishvili, Nick and Sourabh, Sumit (2015) Sahlqvist preservation for topological fixed-point logic. [Report]

MoL-2015-31: Blando, Francesca Zaffora (2015) From von Mises' Impossibility of a Gambling System to Probabilistic Martingales. [Report]

PP-2015-12: Block, Alexander C. and Loëwe, Benedikt (2015) Modal Logics and Multiverses. [Report]

MoL-2015-11: Bäumel, Moritz (2015) 'On Certainty' and Formal Epistemology. [Report]

C

PP-2015-24: Ciná, Giovanni and Endriss, Ulle (2015) A Syntactic Proof of Arrow's Theorem in a Modal Logic of Social Choice Functions. [Report]

D

MoL-2015-14: de Pol, Iris van (2015) How Difficult is it to Think that you Think that I Think that...? A DEL-based Computational-level Model of Theory of Mind and its Complexity. [Report]

MoL-2015-22: den Haan, Michiel (2015) The Logic of Framing: The Framing Effect as a Non-Monotonic Decision Process of Path Dependence. [Report]

E

MoL-2015-06: Emerich, Johannes (2015) Applying Types as Abstract Interpretation to a Language with Dynamic Dispatch. [Report]

PP-2015-23: Endriss, Ulle and de Haan, Ronald (2015) Complexity of the Winner Determination Problem in Judgment Aggregation: Kemeny, Slater, Tideman, Young. [Report]

F

MoL-2015-12: Feys, Frank (2015) Fourier Analysis for Social Choice. [Report]

G

MoL-2015-13: Galeotti, Lorenzo (2015) Computable Analysis Over the Generalized Baire Space. [Report]

MoL-2015-28: Gavazzo, Francesco (2015) Investigations into Linear Logic with Fixed-Point Operators. [Report]

PP-2015-25: Gieske, Sharon and der Pol, Elise van and Endriss, Ulle (2015) Empirical Evaluation of Collective Rationality for Quota Rules in Judgment Aggregation. [Report]

MoL-2015-21: Gkikas, Konstantinos (2015) Stable Beliefs and Conditional Probability Spaces. [Report]

MoL-2015-05: Goldbach, Roosmarijn (2015) Modelling Democratic Deliberation. [Report]

I

MoL-2015-24: Islam, Md. Shahidul (2015) Limits of Argumentation: A Wittgensteinian Approach. [Report]

K

MoL-2015-04: Kosterman, Sanne (2015) Learning in Games through Social Networks. [Report]

MoL-2015-19: Kroese, Wouter P.J. (2015) When an Algorithm Cannot Help You Find a Wife: Modeling Two-Sided Matching Markets Using Stochastic Matching. [Report]

MoL-2015-30: Kuan, Ko-Hung (2015) Coherence Preservation: A Threat to Probabilistic Measures of Coherence. [Report]

L

X-2015-01: Lauridsen, Frederik Möllerström (2015) Bitopological Vietoris spaces and positive modal logic. [Report]

MoL-2015-18: Lauridsen, Frederik Möllerström (2015) One-Step Algebras and Frames for Modal and Intuitionistic Logics. [Report]

M

MoL-2015-08: Mallinson, Jonathan (2015) Modelling Syntactic and Semantic Tasks with Linguistically Enriched Recursive Neural Networks. [Report]

MoL-2015-03: Močnik, Maša (2015) Slovenian Perfective and Imperfective Explicit Performative Utterances. [Report]

N

MoL-2015-10: Noble, Bill (2015) All together now... This time with meaning: A hierarchical lexicon for semantic coordination. [Report]

P

MoL-2015-07: Paping, Babette (2015) A game theoretic approach to cost allocation in the Dutch electricity grid. [Report]

MoL-2015-16: Pasotti, Pietro (2015) Chisholm's Paradox in Action Deontic Logics. [Report]

S

MoL-2015-27: Sandoval, Ana Lucia Vargas (2015) Learning Deductive Reasoning. [Report]

V

MoL-2015-25: Vecht, Joost (2015) Categorical Structuralism and the Foundations of Mathematics. [Report]

MoL-2015-02: Vyšniauskas, Ignas (2015) $\pi_{dist}$: Towards a Typed $\pi$-calculus for Distributed Programming Languages. [Report]

PP-2016-40: van Benthem, Johan (2015) Feeling the Rythms of a Field. [Pre-print]

PP-2015-11: van Benthem, Johan (2015) Logic and Philosophy, a Sea of Stories. [Report]

PP-2015-19: van Benthem, Johan (2015) Minimal Deontic Logics. [Report]

PP-2015-03: van Benthem, Johan (2015) Natural Language and Logic of Agency. [Report]

PP-2015-10: van Benthem, Johan (2015) Oscillations, Logic, and Dynamical Systems. [Report]

PP-2015-20: van Benthem, Johan (2015) Possible Worlds Semantics for Classical Logic. [Report]

PP-2015-01: van Benthem, Johan (2015) Talking about Knowledge. [Report]

PP-2015-06: van Benthem, Johan (2015) Those Who Must Do It: the Agency of Language. [Report]

PP-2015-17: van Benthem, Johan and Bezhanishvili, Nick and Enqvist, Sebastian and Yu, Junhua (2015) Instantial neighbourhood logic. [Report]

PP-2015-02: van Benthem, Johan and Liu, Fenrong (2015) Deontic Logic and Preference Change. [Report]

PP-2015-07: van Benthem, Johan and Liu, Fenrong (2015) Where is Logic Going? [Report]

PP-2015-05: van Benthem, Johan and Smets, Sonja (2015) Dynamic Logics of Belief Change. [Report]

MoL-2015-17: van Berkel, Kees (2015) Kant's Logic in the Critique of Practical Reason. [Report]

MoL-2015-20: van Lee, Hanna Sofie (2015) The Reliability of Scientific Communities: a Logical Analysis. [Report]

MoL-2015-26: van Wijk, Suzanne (2015) Coalitions in Epistemic Planning. [Report]

W

MoL-2015-23: Wagner, Eileen (2015) Superplural Logic. [Report]

MoL-2015-01: Witteveen, Jouke E. (2015) Structural Parameterized Complexity. [Report]

Z

MoL-2015-15: Zhai, Fangzhou (2015) Toward Probabilistic Natural Logic for Syllogistic Reasoning. [Report]

MoL-2015-09: Zou, Tingxiang (2015) Filtered Order-partial Combinatory Algebras and Classical Realizability. [Report]

MoL-2015-29: Zwart, Maaike Annebeth (2015) Sheaf Models for Intuitionistic Non-Standard Arithmetic. [Report]

This list was generated on Mon Sep 25 00:30:16 2017 CEST.