Logica 2013
- Information
-
LOGICA 2013
17-21 June, 2013The 27th in the series of annual international symposia devoted to logic, was held at Hejnice, 17-21 June 2013.
The invited speakers of the conference wereJohan van Benthem, Michael Dunn, Volker Halbach, Michiel van Lambalgen
Selected contributions to the conference were published in M. Dančák, V. Punčochář (eds):
The Logica Yearbook 2013The conference was sponsored by Bernard Family Brewery Humpolec 
- Program
-
L o g i c a 2013 programme
Tuesday, 18 June
morning sessionMichiel van Lambalgen Kant's Transcendental Logic = Geometric Logic Theodora Achourioti Truth as Modality Petr Cintula, Carles Noguera On the Role of Disjunction in the Theory of Consequence Relation Igor Sedlár A General Framework for Logics of Justifications and Evidence Hans Rott, Sven Ove Hansson Safe Contraction Revisited
afternoon sessionJaroslav Peregrin Logic and Reasoning John Kearns First-person Logical Theories and Third-person Logical Theories Vít Punčochář Two Modifications of Inquisitive Semantics Sebastian Sequoiah-Grayson Positive Introspection and Neo-infinitism Michal Dančák The Logic of Hybrid Action Models André Fuhrmann Knowability as Potential Knowledge Massimiliano Carrara, Daniele Chiffi The Knowability Paradox in a Pragmatic Revision of Logic (KILP)
Wednesday, 19 June
morning sessionJohan van Benthem Logic and Epistemology: Opening Some New Windows Jens Ulrik Hansen Modeling Truly Dynamic Epistemic Scenarios in a Partial Version of DEL Tomasz Polacik Conservativity via Kripke Models David R. Gilbert, Paolo Maffezioli Sequent Systems for Classical Modal Logics Manfred Kupffer The Logic of Modal Metaframes
afternoon session
Gabriel Sandu Truth and Probability in Game-theoretical Semantics Christian Fermüller Many Values in Semantic Games John Cantwell First Order Expressivist Logic, Redux Petr Švarný, Ondrej Majer, Michal Peliš Erotetic Logics in Private Communication Protocol Paweł Łupkowski Question Dependency in Terms of Compliance and Erotetic Implication Marie Duží, Jakub Macek, Lukáš Vích Procedural Isomorphism and Synonymy Chris Fox Curry-typed Semantics in Typed Predicate Logic
Thursday, 20 June
morning sessionMichael Dunn The Genesis and Evolution of the Ternary Relational Semantics for Relevance Logic Francesco Berto Dunn (In)Compatibility Semantics and Negation Pluralism Leandro Suguitani, Itala M.L. D'Ottaviano, Petrucio Viana Arithmetics as a Framework for Logic Mario Piazza, Gabriele Pulcini Strange Case of Dr. Soundness and Mr. Consistency Vittorio Morato Validity and Actuality
Friday, 21 June
morning sessionVolker Halbach Self-reference in Arithmetic Peter Verdée A Means to Safely Add Disjunctive Syllogism to Relevant Logic Peter Fritz, Jeremy Goodman Higher-order Contingency Giacomo Turbanti The Role of Perspectives in the Interpretation of Defeasibile Reasoning Johannes Marti, Riccardo Pinosio Topological Semantics for Conditionals
