MCMP – Logic Podcast
1) Hybrid-Logical Proof Theory: With an Application to False-Belief Tasks
Torben Braüner (Roskilde) gives a talk at the MCMP Colloquium (17 January, 2013) titled "Hybrid-Logical Proof Theory: With an Application to False-Belief Tasks". Abstract: Hybrid logic is an extension...Show More
2) On flattening rules in natural deduction calculus for intuitionistic propositional logic
Grigory K. Olkhovikov (Ural Federal University Yekaterinburg) gives a talk at the MCMP Colloquium (25 April, 2013) titled "On flattening rules in natural deduction calculus for intuitionistic proposit...Show More
3) Semantic games and hypersequents: a case study in many valued reasoning
Chris Fermüller (Vienna) gives a talk at the MCMP Colloquium (2 May, 2013) titled "Semantic games and hypersequents: a case study in many valued reasoning". Abstract: For a quite a while it had been a...Show More
4) Modus Ponens on the Restrictor View
Moritz Schulz (Barcelona) gives a talk at the MCMP Colloquium (7 February, 2013) titled "Modus Ponens on the Restrictor View". Abstract: Recently, Kolodny & MacFarlane (2010) have proposed a new count...Show More
5) From Logic to Behavior
Jakub Szymanik (Amsterdam) gives a talk at the MCMP Colloquium (12 June, 2013) titled "From Logic to Behavior". Abstract: In this talk I will explore the applicability of modern logic and computation ...Show More
6) Interpretational Logical Truth: The Problem of Admissible Interpretations
Alexandra Zinke (Konstanz) gives a talk at the MCMP Colloquium (24 January, 2013) titled "Interpretational Logical Truth: The Problem of Admissible Interpretations". Abstract: According to the interpr...Show More
7) Transitory and Permanent Applications of Paraconsistency
Diderik Batens (Ghent) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Transitory and Permanent Applications of Paraconsistency". Abstr...Show More
8) A plea for beta-reduction by value
Marie Duzi (Technical University Ostrava) gives a talk at the MCMP Colloquium (15 May, 2014) titled "A plea for beta-reduction by value". Abstract: This paper solves, in a logically rigorous manner, a...Show More
9) Why designate gluts?
Andreas Kapsner (MCMP/LMU) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Why designate gluts?". Abstract: In this talk, I want to exp...Show More
10) Inconsistent Thinking, Fast and Slow
Francesco Berto (Amsterdam) gives a talk at the Conference on Paraconsistent Reasoning in Science and Mathematics (11-13 June, 2014) titled "Inconsistent Thinking, Fast and Slow". Abstract: This plays...Show More
Podcast Playlists Containing This Podcast
Podcast Hosts, Guests, or People Mentioned in the Pod
More Podcasts from MCMP Team
Multimedia im Netz - WiSe 2010 / 2011 - Audio mit Folien
XXII. Deutscher Kongress für Philosophie, LMU München - HD
Photoswitches: A New Addition to the Molecular Toolkit – SD
Center for Advanced Studies (CAS) Research Focus Language: Birth and Decay (LMU) - SD
Center for Advanced Studies (CAS) Research Focus Moral Behavior (LMU) - SD
Center for Advanced Studies (CAS) Research Focus Language: Birth and Decay (LMU) - HD