Logica 2012

• Information

• LOGICA 2012 18 – 22 June, 2012 Hejnice Monastery
  The 26th in the series of annual international symposia devoted to logic, was held at Hejnice, 18 – 22 June 2012. The invited speakers of the conference were Sergei Artemov, Warren Goldfarb, David Makinson, and Barbara Partee
  	Selected contributions to the conference were published in V. Punčochář, P. Švarný (eds.): The Logica Yearbook 2012
  The conference was sponsored by Bernard Family Brewery Humpolec

• Program
• L o g i c a 2012 - Programme
  
  

    

  Tuesday, 19 June morning session
  Warren Goldfarb	Wittgenstein against Logicism
  Victor Rodych	Wittgenstein Completeness
  Timm Lampert	Modal Claims and Church's Theorem
  Ole Hjortland	Truth, Paracompleteness, and Substructural Logic: Half as Lovely, Twice as True
  afternoon session
  Yusuke Kaneko	Reconsideration of Carnap's Semantics
  Neil Kennedy	Higher-Order Modality and the Essential Flatness of Worlds
  Johannes Marti	Representing Semantic Facts on Kripke Frames
  Igor Sedlár	From Pair Points to Pairs of Models
  Sebastian Sequoiah-Grayson	Epistemic Duals and Explicit Considerations
  Theodora Achourioti	Modelling the Use of 'True' in Natural Language
  Hartley Slater	Towards Being
  Wednesday, 20 June morning session
  Sergei Artemov	A Classical View of Constructive Semantics
  J. Michael Dunn	Contradictory Information Can Be Better than Nothing: The Example of the Two Firemen
  Peter Verdée	An Infinitely Valued Adaptive Logic for Handling Inconsistent Information
  Luca Tranchini	For a Tarskian Twist to Proof-Theoretic Semantics
  Andreas Pietz-Kapsner	Strong Connexivity
  afternoon session
  Michal Peliš, Ondrej Majer	Logic of Communication and Questions
  Chris Fox	Axiomatising Questions
  Pawel Lupkowski	Cooperative Posing of Questions
  Roberto Ciuni, Carlo Proietti	The Abundance of the Future: A Paraconsistent Approach to Temporal Logic and Indeterminism
  Petr Švarný	Flow of Time in BST/BCont Models and Related Semantical Observations
  Mark Jago	Bounded Rationality and Epistemic Blindspots
  Thursday, 21 June morning session
  David Makinson	Advice to the Relevantist Policeman
  Libor Běhounek	The Logical Background of Fuzzy Plurivaluationism
  Christian Fermüller	Formal Rationality Principles in Logical Dialogue Games
  Christopher Foster	A Tarskian Solution to the Iterated Prisoner’s Dilemma
  Lionel Shapiro	Contraction-Free Logics and the Hidden Substructure of Read’s Bullet
  Friday, 22 June morning session
  Barbara Partee	The History of Formal Semantics
  Bjørn Jespersen	Alleged Assassins and Modal Modifiers
  Yue Chen, Ray Jennings	The Delicate Beauty of Self-Duality
  Paul D. Thorn	Cognitivist Probabilism