|
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 |
