29-30 May 2012
Copenhagen, Denmark
Modality and Modalities, Copenhagen, 29-30 May 2012 http://modalityandmodalities.weebly.com/ "Modality and Modalities" will be a two day event on all things Modal Logical. This event will be held on Tuesday, 29th May and Wednesday, 30th May at the University of Copenhagen Our keynote speakers are: Max Cresswell, Adriane Rini, and Krister Segerberg Special Tutorial Presentation by Valentin Goranko All are welcome to attend, and attendance is free. But please: email us at [cadillacdk @ gmail.com] if you plan on attending, so that we know how many guests to expect. Contributors: Martin Mose Bentzen Action Type Deontic Logic Patrick Blackburn Indexical Hybrid Tense Logic (Part Two) Thomas Bolander "Epistemic and doxastic planning for single- and multi-agent systems" Torben Braner "Hybrid Logic, Truth, and Proof-Systems" Max Cresswell Carnaps Modal Logic -Topics in the Pre-history of Possible-worlds semantics Sebastian Enqvist "Lindstrm theorems for modal logic over restricted model classes" Emmanuel Genot & Justine Jacot "Propositional Reasoning with (Modal) Models" Mikkel Gerken Critique of Modal Rationalism Valentin Goranko Modalities for multi-agent systems Jens Ulrik Hansen Pluralistic ignorance - Recovering logic and rationality in an error phenomenon of social psychology Klaus Frovin Jrgensen Indexical Hybrid Tense Logic (Part One) Peter hrstrm "A.N. Priors Early Contributions to the Logic of Time and Modality " Carlo Proietti "Non-classical Modal Logics and Tableau Testing" Rasmus K. Rendsvig Connections between Lexical and Truth-Conditional Semantic Competence Adrianne Rini Aristotle on the Necessity of the Consequent Krister Segerberg TBA