|
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 |
16-04-2015 12:33:32
