**Seminar**

Regular seminar of the Applied Logic Group at TU Delft.

*Date and Venue*: please check CALENDAR or Upcoming meetings below.

**Organizers**

Giuseppe Greco

Alessandra Palmigiano

Fan Yang

Zhiguang Zhao

**Previous organizers**

Sabine Frittella

Umberto Rivieccio

**Upcoming meetings**

*Title*: Quantum team logic

*Speaker*: Jouko Väänänen (University of Helsinki)

*Date*: Friday, 17 February, 2017 from 1.00pm to 3.00pm

*Venue*: Classroom J, building 31

[abstract]

**Previous meetings**

*Title*: Markov Decision Processes, Classically and Coalgebraically

*Speaker*: Frank Feys (TU Delft)

*Date*: Tuesday, 14 February, 2017 from 1.00pm to 3.00pm

*Venue*: Classroom J, building 31

[abstract]

*Title*: Bisimulation for weakly expressive coalgebraic modal logics

*Speaker*: Helle Hvid Hansen (TU Delft)

*Date*: Monday, 28 November, 2016 from 2.00pm to 4.00pm

*Venue*: room b3.470, building 31

[abstract]

*Title*: The Proof Theory of Semi-De Morgan Algebras

*Speaker*: Fei Liang (Institute of Logic and Cognition, Sun Yat-sen University)

*Date*: Monday, 21 November, 2016 from 2.00pm to 4.00pm

*Venue*: room b1.470, building 31

[abstract] | Slides.pdf

*Title*: The Logic of Common Ignorance

*Speaker*: Gert-Jan Lokhorst (TU Delft)

*Date*: Monday, 14 November, 2016 from 2.00pm to 4.00pm

*Venue*: room a1.370, building 31

[abstract] | Slides.pdf

*Title*: Algebraic Semantics Of Refinement Modal Logic

*Speaker*: Zeinab Bakhtiari (Université de Lorraine)

*Date*: Friday, 26 August, 2016 from 2.30pm to 4.30pm

*Venue*: room b1.470, building 31

[abstract] | Slides.pdf

*Title*: Dynamic Definitions

*Speaker*: Jeremy Seligman (University of Auckland)

*Date*: Wednesday, 2 December, 2015 from 2.30pm to 4.30pm

*Venue*: room b3.470, building 31

[abstract]

*Title*: Epistemic Logic For Sceptical Agents

*Speaker*: Marta Bílková (Charles University in Prague, website)

*Date*: Tuesday, 17 November, 2015 from 2.00pm to 4.00pm

*Venue*: room b3.470, building 31

[abstract]

*Title*: Filtrations in Intermediate Logics via Locally Finite Reducts of Heyting Algebras

*Speaker*: Nick Bezhanishvili (University of Amsterdam > ILLC)

*Date*: Thursday, 12 November, 2015 from 12.00pm to 2.00pm

*Venue*: room b3.470, building 31

[abstract] | Slides.pdf

*Title*: Categorical Decision Theory

*Speaker*: Marcus Pivato (Université de Cergy-Pontoise, France)

*Date*: Tuesday, 27 October, 2015 from 2.00pm to 4.00pm

*Venue*: room b1.300, building 31

[abstract] | Slides.pdf

*Title*: Substructural Fuzzy-relevance Logic

*Speaker*: Eunsuk Yang

*Date*: Wednesday, 21 October, 2015 from 10.00am to 12.00am

*Venue*: room b3.470, building 31

[abstract] | Extended Abstract.pdf

*Title*: Quantifying the Classical Impossibility Theorems from Social Choice

*Speaker*: Frank Feys

*Date*: Wednesday, 21 October, 2015 from 2.00pm to 4.00pm

*Venue*: room b3.470, building 31

[abstract] | Slides.pdf

*Title*: Epistemic Updates on Algebras

*Speaker*: Zeinab Bakhtiari (Google site / LORIA, CNRS - Université de Lorraine)

*Date*: Wednesday, 14 October, 2015 from 2.00pm to 4.00pm

*Venue*: room b3.470, building 31

[abstract] | Slides.pdf

*Title*: Axiomatizations of DEL-like Logics via ETL-like Method

*Speaker*: Yanjing Wang (Department of Philosophy - Peking University)

*Date*: Sunday, 6 September, 2015 from 3.00pm to 5.00pm

*Venue*: van Breestraat, Amsterdam

[abstract] | Paper.pdf

*Title*: Finding A Category That Captures Modified Realizability With Extensional Equality

*Speaker*: Yuning Feng

*Date*: Tuesday, 2 June, 2015 from 2.00pm to 4.00pm

*Venue*: room c4.310, building 32

[abstract]

*Title*: Dependence and Independence in Social Choice Theory

*Speaker*: Eric Pacuit (University of Maryland)

*Date*: Tuesday, 26 May, 2015

[abstract]

*Title*: Propositional Dependence Logic

*Speaker*: Fan Yang (University of Utrecht)

*Date*: Tuesday, 19 May, 2015

[abstract] | Slides.pdf

*Title*: Decision Making in the Railways: Rebuilding of Station Utrecht

*Speaker*: Femke Bekuis

*Date*: Tuesday, 12 May, 2015

[abstract] | Slides.pdf

*Title*: Subordinations, Closed Relations and Compact Hausdorff Spaces

*Speaker*: Sumit Sourabh University of Amsterdam > ILLC

*Date*: Tuesday, 24 Mach, 2015

[abstract] | Slides.pdf | Paper.pdf

*Title*: Software that understands our norms and values: reasoning, interaction and ethical challenges

*Speaker*: Birna van Riemsdijk (TU Delft > Interactive Intelligence)

*Date*: Monday, 16 February, 2015

[abstract]

*Title*: On The Degrees Of Privacy

*Speaker*: Georgy Ishmaev

*Date*: Monday, 15 December, 2014

[abstract]

*Title*: Five Funny Bisimulations

*Speaker*: Hans van Ditmarsch (Google site)

*Date*: Monday, 8 December, 2014

[abstract] | Slides.pdf

*Title*: Craig Interpolation for PDL and its history

*Speaker*: Malvin Gattinger (University of Amsterdam > ILLC)

*Date*: Monday, 24 November, 2014

[abstract] | Slides.pdf

*Title*: The Disjunction Property in Propositional Logics

*Speaker*: Minghui Ma (Southwest University)

*Date*: Monday, 17 November, 2014

[abstract]

*Title*: Fuzzy Eubouliatic Logic

*Speaker*: Gert-Jan C. Lokhorst (TU Delft)

*Date*: Monday, 3 November, 2014

[abstract] | Slides.pdf

*Title*: Principles Of Guarded Structural Indexing

*Speaker*: Jan Hidders (TU Delft > EEMCS > Web Information Systems)

*Date*: Monday, 27 October, 2014

[abstract] | Slides.pdf | Paper.pdf

*Title*: Are Relations Dual to Modal Operators on MV-algebras? Duality for Semisimple MV-algebras Revisited

*Speaker*: Leonardo Manuel Cabrer (Google site)

*Date*: Monday, 20 October, 2014

[abstract]

*Title*: Updating Probabilities: When Conditioning Succeeds and When It Fails

*Speaker*: Peter Grunwald (CWI / Universiteit Leiden)

*Date*: Tuesday, 21 October, 2014

[abstract] | Slides.pdf

*Title*: Reasoning about Probabilities in Dynamical Domains: From Specification to Goal Regression and Beyond

*Speaker*: Vaishak Belle

*Date*: Monday, 13 October, 2014

[abstract] | Slides.pdf

*Title*: Reason-based Belief Revision in Social Networks

*Speaker*: Fenrong Liu (Tsinghua University)

*Date*: Monday, 6 October, 2014

[abstract] | Slides.pdf

*Title*: Relational Lattices

*Speaker*: Tadeusz Litak (FAU Erlangen-Nürnberg)

*Date*: Monday, 29 September, 2014

[abstract] | Slides.pdf

*Title*: Deontic Fragments: Simple Syntactic Proofs

*Speaker*: Gert-Jan C. Lokhorst (TU Delft)

*Date*: Monday, 22 September, 2014

[abstract] | Slides.pdf

*Title*: Logics for Real Option Analysis: Formal Methods for Flexible Decision

*Speaker*: Tommaso Flaminio (DISTA - Google Sites)

*Date*: Monday, 15 September, 2014

[abstract]

*Title*: Bayesian Decision Theory and Bayesian Information Theory

*Speaker*: Nöel van Erp (TU Delft)

*Date*: Monday, 8 September, 2014

[abstract] | Slides.pdf | Paper.pdf

*Title*: An Abstract Algebraic Logic View of Propositional-Attitude Aggregation Theory

*Speaker*: María Esteban García (Universitat de Barcelona - Research Group on Non-classical Logics)

*Date*: Saturday, 26 July, 2014

[abstract]

*Title 1*: Determinacy, Measurable Cardinals and More

*Title 2*: The Universal Model for The Negation-free Fragment of IPC

*Speaker*: Apostolos Tzimoulis

*Date*: Saturday, 26 July, 2014

[abstract 1] | Slides 1.pdf |

[abstract 2] | Slides 2.pdf

*Title*: Relational Structures in Quantum Logic

*Speaker*: Shengyang Zhong (University of Amsterdam - ILLC)

*Date*: Monday, 16 June, 2014

[abstract] | Slides.pdf

*Title*: Conditional Logic as Non-Monotonic Reasoning: Proof Systems and Semantics

*Speakers*: Johannes Marti and Riccardo Pinosio (University of Amsterdam - ILLC1 - ILLC2)

*Date*: Tuesday, 17 June, 2014

[abstract] | Slides.pdf

*Title*: Norms, Intentions and Actions

*Speakers*: Alessandra Marra and Dominik Klein (University of Tilburg - TiLPS)

*Date*: Monday, 26 May, 2014

[abstract] | Slides.pdf

*Title*: Rooting Discrete-Event Simulation in Systems Theory

*Speaker*: Alexander Verbraeck (TU Delft - TPM)

*Date*: Monday, 19 May, 2014

[abstract]

*Title*: Interrogative Dependencies and Constructive Content of Inquisitive Proofs

*Speaker*: Ivano Ciardelli (University of Amsterdam - ILLC)

*Date*: Monday, 12 May, 2014

[abstract] | Slides.pdf

*Title*: General Affine Adjunctions, Nullstellensätze, and Dualities

*Speaker*: Luca Spada (University of Amsterdam - ILLC / University of Salerno)

*Date*: Tuesday, 7 May, 2014

[abstract] | Slides.pdf (updated version)

*Title*: Intuitionism, Applied to Descriptive Set Theory

*Speaker*: Peter Hart (Radboud University Nijmegen)

*Date*: Monday, 6 May, 2014

[abstract]

*Title*: Describing Admissible Rules

*Speaker 1*: Jeroen Goudsmit (University of Utrecht)

*Date*: Monday, 28 April, 2014

[abstract] | Slides.pdf

*Title*: Several Approaches To Belief Revision

*Speaker 2*: Zhiguang Zhao

*Date*: Monday, 28 April, 2014

[abstract] | Slides.pdf

*Title*: On Identity of Proofs

*Speaker*: Francesco Gavazzo (University of Amsterdam - ILLC)

*Date*: Monday, 7 April, 2014

[abstract]

*Title*: Sequent Systems for Classical Modal Logics

*Speaker*: Paolo Maffezioli (University of Groningen)

*Date*: Monday, 31 March, 2014

[abstract] | Slides.pdf

*Title*: Introduction to Duality Theory

*Speaker 1*: Alessandra Palmigiano (TU Delft - TPM)

*Date*: Monday, 24 March, 2014

*Title*: Bilattice Modal Logic

*Speaker 2*: Umberto Rivieccio (TU Delft - TPM)

*Date*: Monday, 24 March, 2014

[abstract] | Slides.pdf

*Title*: Combining Fuzzy and Statistical Uncertainty: Probabilistic Fuzzy Systems and their Applications

*Speaker*: Jan van den Berg (TU Delft - TPM)

*Date*: Monday, 17 March, 2014

[abstract] | Slides.ppt

*Title*: Cut Elimination in a Multi-type Display Calculus

*Speaker 1*: Vlasta Sikimić (University of Belgrade - Faculty of Philosophy)

*Date*: Monday, 10 March, 2014

[abstract] | Slides.pdf

*Title*: Towards a Display-style Calculus for Monotone Modal Logic

*Speaker 2*: Sabine Frittella (Aix-Marseille Université)

*Date*: Monday, 10 March, 2014

[abstract] | Slides.pdf

*Title*: Bridging Bayesian Probability and AGM Revision via Stability Principles

*Speaker*: Krzystof Mierzewski (University of Amsterdam - ILLC)

*Date*: Monday, 3 March, 2014

[abstract] | Slides.pdf

*Title*: Code-Free Recursion and Realizability

*Speaker*: Erich Faber (University of Utrecht)

*Date*: Monday, 24 February, 2014

[abstract] | Slides.pdf

*Title*: Cut for circular proofs: semantics and cut-elimination

*Speaker*: Jérôme Fortier (Université du Québec à Montréal - Aix-Marseille Université)

*Date*: Monday, 17 February, 2014

[abstract] | Slides.pdf