APPLIED LOGIC SEMINAR

Seminar
Seminar of the Applied Logic Group at TU Delft.
Date and Venue: please check CALENDAR or Upcoming meetings below.

Organizers
Alessandra Palmigiano
Fei Liang
Apostolos Tzimoulis

Previous organizers
Zhiguang Zhao
Fan Yang
Giuseppe Greco
Sabine Frittella
Umberto Rivieccio

Upcoming meetings

Title: Semantical considerations on cut elimination and analytic cut property
Speaker: Hiroakira Ono (Japan Advanced Institute of Science and Technology)
Date: Tuesday, 19 June, 2018 from 1.00pm to 3.30pm
Venue: TBM-Instructiezaal B, building 31, Jaffalaan 5, 2628 BX, Delft
[abstract]

Previous 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]

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)

TitleIntuitionism, 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

TitleIntroduction to Duality Theory
Speaker 1: Alessandra Palmigiano (TU Delft - TPM)
Date: Monday, 24 March, 2014

TitleBilattice 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