TRENDS IN LOGIC XVII

Traditional and new perspectives on deontic logic and agency modeling

September 12th-15th, 2017, Lublin (Poland)

About Trends in Logic XVII

Trends in Logic is the conference series of the journal »Studia Logica«. The 17th Trends in Logic international conference will be held at the John Paul II Catholic University of Lublin, Lublin, Poland, from September 12−September 15, 2017 under the title Traditional and New Approaches to Deontic Logic and Action Modeling. It is organized by the Department of the Foundations of Computer Science at the Faculty of Philosophy of the John Paul II Catholic University of Lublin, in co-operation with »Studia Logica«.

Reasoning about moral and legal characteristics of human acts has been a subject of deontic logic for at least 60 years. Recently new developments like self-driving cars, autonomous weapons and caring robots, involving important decisions of artificial agents in the context of various norms, make deontic logic relate more to technology.

To reflect the importance of those issues we suggest the subject: Traditional and New Approaches to Deontic Logic and Action Modeling for the next Trends in Logic conference.

We call for relevant contributions applying the different approaches to:

• deontic logic,
• normative aspects of action theory,
• formal ethics,
• legal theory,
• handling norms in computer systems.

A special session on obligations derived from permissions, related to the a special issue of Studia Logica, will be a part of the conference.

Journal »Studia Logica« - see http://www.studialogica.org and http://link.springer.com/journal/11225.

Trends in Logic XVII - Traditional and new perspectives on deontic logic and agency modeling

Program

Tuesday 12th Sept.

• 10:15 - 10:30    opening
• 10:30 - 11:00    Jacek Malinowski, Studia Logica, Past Present and Future
• 11:00 - 11:30    Piotr Kulicki. Jerzy Kalinowski's deontic logic of decisions
• 11:30 - 12:00    Hein Duijf. Responsibility, cooperation and collective reasoning
• 12:00 - 12:30    Pere Pardo. Obligations as maps on intentions: deontic argumentative planning
• 12:30 - 13:45    lunch
• 13:45 - 15:00    Olivier Roy Deontic Logic and Game Theory
• 15:00 - 15:30    coffee
• 15:30 - 16:00    Wojciech Żełaniec. Remarks on the K-principle in deontic logic and its consequences for deontic semantics
• 16:00 - 16:30    Mateusz Klonowski. Deontic logic of propositions related to normative systems
• 16:30 - 17:00    Albert Anglberger and Johannes Korbmacher. Truth-Makers and Normative Conflicts
• 17:00 - 17:30    Ilaria Canavotto and Alessandro Giordani. Conflicts in Explicit Dynamic Deontic Logic
• 18:30 - ...          RECEPTION

Wednesday 13th Sept.

• 9:00 - 10:15      Fenrong Liu A Logical View of Social Structure and Social Norms
• 10:15 - 10:30    coffee
• 10:30 - 11:00    Marek Lechniak. The problem of the representation of permissions in the deontic application of AGM theory
• 11:00 - 11:30    Federico L. G. Faroldi and Tudor Protopopescu. Logics of Hyperintensional Practical Reasons
• 11:30 - 12:00    Daniela Glavaničová. A Logic of Implicit and Explicit Norms
• 12:00 - 12:30    Xin Sun. Imperative Logic and Quantum Cryptography for Access Control
• 12:30 - 13:45    lunch
• 13:45 - 15:00    Jan Woleński Normative Systems and Deontic Logic
• 15:00 - 20:00    FREE AFTERNOON & SOCIAL ACTIVITIES
• 20:00 - ...          DINNER

Thursday 14th Sept.

• 9:00 - 10:15      Paul MacNamara Acting Beyond the Call and Kindred Notions
• 10:15 - 10:30    coffee
• 10:30 - 11:00    Marcin Kosztołowicz. Attributing agency to indeterministic agents. Projective Simulation, the model of artificial intelligence.
• 11:00 - 11:30    Paulina Wiejak. A few notes on Jerzy Kalinowski’s attempt to formalize Aristotle’s practical syllogisms
• 11:30 - 12:00    Tomasz Jarmużek. Logic of permission as a consistency with a normative system
• 12:00 - 12:30    Karl Nygren. Strong permission in social interaction
• 12:30 - 13:45    lunch
• 13:45 - 15:00    Marek Sergot Defeasible conditional imperatives
• 15:00 - 15:30    coffee
• 15:30 - 16:00    Michael Musielewicz. An Analytic Jurist’s Dilemma: On the application of the varying conceptions of norms
• 16:00 - 16:30    Réka Markovich. Rights' Formalization with Derivation Rules
• 16:30 - 17:00    Alessandro Giordani and Ilaria Canavotto. Logic of Normative Sources

Friday 15th Sept.

• 9:00 - 10:15    Jan Broersen Actions speak louder than propositions, or not?
• 10:15 - 10:30  coffee
• 10:30 - 11:00  Piotr Lukowski. Contentual approach to negation
• 11:00 - 11:30  Michał Araszkiewicz and Bartosz Janik. Rough sets in legal Case-Based Reasoning
• 11:30 - 12:00  Xin Sun. Quantum-like Categorical Action Logic
• 12:30 - 13:45  closing + lunch