Logica 2015

• Information

• LOGICA 2015 15 - 19 June 2015, 2015 Hejnice monastery
  The 29th in the series of annual international symposia devoted to logic, was held at Hejnice, 15 - 19 June 2015 2015. The invited speakers of the conference were Patricia Blanchette, Walter Carnielli, Melvin Fitting, and Peter Milne
  	Selected contributions to the conference were published in P. Arazim, M. Dančák (eds.): The Logica Yearbook 2015
  The conference was sponsored by Bernard Family Brewery Humpolec

• Program

•  

  LOGICA 2015 Programme
  Tuesday, June 16 morning session
  M. Fitting	Justification Logics
  I. Sedlár	Awareness and Epistemic Access
  M. Pleitz	Foundation and Paradox
  S. Florio and G. Leach-Krouse	Burali-Forti and Indefinite Extensibility
  A. Klev	A Simple Solution to the Miners Paradox
  afternoon session
  P. Lupkowski	Dependency of Questions in Tutorial Dialogues
  K. Šebela	Internal Negation and Sortal Quantification
  T. Schindler	A Graph-theoretic Analysis of the Semantic Paradoxes
  V. Punčochář	Algebras of Information States
  K. Bartz, R. J. Munro, R. Jennings and Y. Chen	Self-dual Propositions and Leibnizian Analysis
  Wednesday, June 17 morning session
  P. Blanchette	Models and Independence circa 1900
  J. M. Castro-Manzano	From Diagrammatic to Mechanical Reasoning: the Case of Syllogistic
  J. Peregrin	Incompatibility and Inference as Bases of Logic
  U. Hlobil	A Sequent Calculus for Logical Expressivist Inferentialists
  J. Kearns	The Larger Logical Picture, Three Categories of Illocutionary Acts, and Three  Types of Argument or Derivation
  afternoon session
  H. Omori	Remarks on Many-valued Approach to Modality
  L. Běhounek and V. Novák	Fuzzy Partial Logic: Combining Graduality and Undefinedness
  P. Cintula and C. Noguera	Two-layer Modal Logics: Formalism and Applications
  C. Fermüller	Game Semantics for Vague Quantifiers
  R. Marrano	'More or Less True Than' and Order-based Semantics
  Thursday, June 18 morning session
  W. Carnielli	An Epistemic Approach to Paraconsistency: A Logic of Evidence and Truth
  A. Přenosil	Consistency, Completeness, and Classicality
  Z. Weber	On Paraconsistent Downward Lowenheim-Skolem Theorems
  Friday, June 19 morning session
  P. Milne	Classical Logic Through the Looking Glass
  L. Picollo	Reference and Disquotational Truth
  P. Švarný	Barbour Temporal Logic