Logica 2015 list of participants
|
LIST OF PAPERS TO BE PRESENTED AT LOGICA 2015 (last updated June 1) |
|
| INVITED TALKS | |
| Patricia Blanchette | Models and Independence circa 1900 |
| Walter Carnielli | An epistemic Approach to Paraconsistency: A Logic of Evidence and Truth |
| Melvin Fitting | Justification Logics |
| Peter Milne | Classical Logic Through the Looking Glass |
| CONTRIBUTED TALKS | |
| K. Bartz, R. J. Munro, R. Jennings and Y. Chen | Self-dual Propositions and Leibnizian Analysis |
| L. Běhounek and V. Novák | Fuzzy Partial Logic: Combining Graduality and Undefinedness |
| J. M. Castro-Manzano | From Diagrammatic to Mechanical Reasoning: the Case of Syllogistic |
| P. Cintula and C. Noguera | Two-layer Modal Logics: Formalism and Applications |
| R. Ciuni | Toward a Logic of Rights |
| L. Estrada-González | Order in the Ordering! |
| C. Fermüller | Game Semantics for Vague Quantifiers |
| S. Florio and G. Leach-Krouse | Burali-Forti and Indefinite Extensibility |
| U. Hlobil | A Sequent Calculus for Logical Expressivist Inferentialists |
| K. Jobczyk | Model-theoretic Argument and Generalized Quantifiers |
| J. Kearns | The Larger Logical Picture, Three Categories of Illocutionary Acts, and Three Types of Argument or Derivation |
| A. Klev | A Simple Solution to the Miners Paradox |
| P. Lupkowski | Dependency of Questions in Tutorial Dialogues |
| R. Marrano | 'More or Less True Than' and Order-based Semantics |
| H. Omori | Remarks on Many-valued Approach to Modality |
| J. Peregrin | Incompatibility and Inference as Bases of Logic |
| L. Picollo | Reference and Disquotational Truth |
| M. Pleitz | Foundation and Paradox |
| A. Přenosil | Consistency, Completeness, and Classicality |
| V. Punčochář | Algebras of Information States |
| T. Schindler | Reference-graphs, Games for Truth, and Paradox |
| I. Sedlár | Awareness and Epistemic Access |
| K. Šebela | Internal Negation and Sortal Quantification |
| P. Švarný | Barbour Temporal Logic |
| P. Thorn | On the Preference for More Specific Reference Classes |
| Z. Weber | On Downward Lowenheim-Skolem Theorems in Paraconsistent Model Theory |
16-04-2015 12:33:32
