PROGRAM
Days: Monday, March 14th Tuesday, March 15th Wednesday, March 16th Thursday, March 17th Friday, March 18th
Monday, March 14th
View this program: with abstractssession overviewtalk overview
11:15-12:00 Session 2: Invited Talk
Enter here.
Chair:
| 11:15 | Contraction-free Logics and the Idea of an Intensional Proof-theoretic Semantics (abstract) |
12:00-13:00 Session 3: Contributed Talks
Enter here.
Chair:
| 12:00 | Proof Theory of Skew Non-Commutative MILL (abstract) |
| 12:30 | Normalization by Evaluation for the Lambek Calculus (abstract) |
13:00-14:30Lunch Break
14:30-15:30 Session 4: Invited Talk
Enter here.
Chair:
| 14:30 | Łukasiewicz Logic and Approximately Finite-Dimensional C*-Algebras (abstract) |
15:30-16:00Coffee Break
16:00-17:00 Session 5: Contributed Talks
Enter here.
Chair:
| 16:00 | Monadicity of Non-deterministic Logical Matrices is Undecidable (Best Paper Award for Junior Researcher) (abstract) |
| 16:30 | Another combination of classical and intuitionistic conditionals (Best Paper Award for Junior Researcher) (abstract) |
17:00-18:00 Session 6: Invited Talk
Enter here.
Chair:
| 17:00 | Structural Reasoning and Four-valued Logic: A Case Study (abstract) |
Tuesday, March 15th
View this program: with abstractssession overviewtalk overview
10:00-11:30 Session 8: Contributed Talks (Special Session J. Michael Dunn in Memoriam)
Enter here.
Chair:
| 10:00 | Routley Star in Information-Based Semantics (Best Paper Award) (abstract) |
| 10:30 | Dunn semantics for contra-classical logics (abstract) |
| 11:00 | A logic for paraconsistent transition systems, with applications to quantum computing (abstract) |
11:30-12:00Coffee Break
13:00-14:30Lunch Break
14:30-15:30 Session 10: Invited Talk
Enter here.
Chair:
| 14:30 | Connexive Logics via Relating Semantics (abstract) |
15:30-16:00Coffee Break
16:00-18:00 Session 11: Contributed Talks
Enter here.
Chair:
| 16:00 | On the Expressive Power of the Normal Form for Branching-Time Temporal logics (abstract) |
| 16:30 | Superconnexivity Reconsidered (abstract) |
| 17:00 | Bilateral Inversion Principles (abstract) |
| 17:30 | Mortensen logics (abstract) |
Wednesday, March 16th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 12: Invited Talk
Enter here.
Chair:
| 09:00 | Some Aspects of Lattice Tolerances (abstract) |
10:00-11:30 Session 13: Contributed Talks
Enter here.
Chair:
| 10:00 | Natural Deduction for Assertibility and Deniability (abstract) |
| 10:30 | Solutions to Puzzles of Existential Generalisation (abstract) |
| 11:00 | Decidability of Intuitionistic Sentential Logic with Identity via Sequent Calculus (abstract) |
11:30-12:00Coffee Break
12:00-13:00 Session 14: Invited Talk
Enter here.
Chair:
| 12:00 | Forgetting and Consequence-Based Knowledge Extraction for Description Logic Ontologies (abstract) |
13:00-14:30Lunch Break
14:30-17:30 Session 15A: Workshop: Applications of Relating Semantics to Philosophical Logic
Enter here.
Chair:
| 14:30 | Applications of Relating Semantics in the Normative Domain PRESENTER: Matteo Pasucci |
| 15:00 | An Analysis of Poly-connexivity in Boolean Connexive Logic PRESENTER: Mateusz Klonowski |
| 15:30 | From the Logic of Grounding to Relating Logic |
| 16:00 | Scientific Understanding Meets Relating Logic |
| 16:30 | Tableaux for Some Deontic Logics with the Explicit Permission Operator PRESENTER: Tomasz Jarmużek |
| 17:00 | On Embedding of D2 into the Minimal Discussive Logic PRESENTER: Marek Nasieniewski |
14:30-17:30 Session 15B: Workshop: Proof-Theoretical Analysis of Non-Fregean Logics
Enter here.
Chair:
| 14:30 | Philosophical foundations of non-Fregean logics, basic properties of SCI (abstract) PRESENTER: Dorota Leszczyńska-Jasion |
| 15:30 | Structural proof theory of SCI and WB (abstract) PRESENTER: Marta Gawek |
| 16:30 | Intuitionistic non-Fregean logic ISCI (abstract) PRESENTER: Szymon Chlebowski |
Thursday, March 17th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 16: Invited Talk
Enter here.
Chair:
| 09:00 | Temporal Reference and Temporal Indexicals (abstract) |
10:00-11:30 Session 17: Contributed Talks
Enter here.
Chair:
| 10:00 | Negation-free definitions of paraconsistency (abstract) |
| 10:30 | The Forms of Categorical Proposition (abstract) |
| 11:00 | Algebraizability of the Logic of Quasi-N4-Lattices (abstract) |
11:30-12:00Coffee Break
12:00-13:00 Session 18: Invited Talk
Enter here.
Chair:
| 12:00 | Gautama and Almost Gautama Algebras and Their Associated Logics (abstract) |
13:00-14:30Lunch Break
14:30-15:30 Session 19: Invited Talk
Enter here.
Chair:
| 14:30 | A Paradox for the Existence Predicate (abstract) |
15:30-16:00Coffee Break
16:00-18:15 Session 20A: Workshop: Advances in Formal Ontology
Enter here.
Chair:
| 16:00 | Possible Laws Contra Principle of Plenitude (abstract) PRESENTER: Kordula Świętorzecka |
| 16:30 | On Interpretation of Mathematical Text: Stetigkeit und irrationale Zahlen as a Case Study (abstract) |
| 17:15 | Perzanowski's Combination of Onto-logic and Topology (abstract) |
| 17:45 | What is a Topological Ontology? (abstract) |
16:00-19:00 Session 20B: Tutorial: Graded Logic
Enter here.
Chair:
| 16:00 | Graded Logic, Part I: Humancentric approach to logic (abstract) |
| 17:00 | Graded Logic, Part II: Graded Conjunction/Disjunction (abstract) |
| 18:00 | Graded Logic, Part III: Graded propositional calculus (abstract) |
Friday, March 18th
View this program: with abstractssession overviewtalk overview
09:00-10:00 Session 21: Invited Talk
Enter here.
Chair:
| 09:00 | CEGAR-Tableaux: Improved Modal Satisfiability via Modal Clause-learning and SAT (abstract) |
10:00-11:30 Session 22: Contributed Talks
Enter here.
Chair:
| 10:00 | Non-normal super-strict implications (abstract) |
| 10:30 | Combining First-Order Classical and Intuitionistic Logic (abstract) |
| 11:00 | A van Benthem Theorem for Atomic and Molecular Logics (abstract) |
11:30-12:00Coffee Break
12:00-13:00 Session 23: Invited Talk
Enter here.
Chair:
| 12:00 | Logics with Concrete Domains: An Introduction (abstract) |
13:00-14:30Lunch Break
14:30-15:30 Session 24: Contributed Talks
Enter here.
Chair:
| 14:30 | Normalisation for some infectious logics and their relatives (abstract) |
| 15:00 | Cyclic Negations and Four-valuedness (abstract) |
