Munich Center for Mathematical Philosophy (MCMP)

Breadcrumb Navigation


Zoom Talk: Edi Pavlovic (Helsinki)

Meeting ID: 925-6562-2309

07.05.2020 16:00  – 18:00 

Please contact for the password.


Logics of agency: the deliberative STIT


STIT (seeing to it that) modalities have played a pivotal part in the formal studies of the logic of agency. They have a unifying role as they can give formal meaning to expressions of various linguistic forms, such as the indicative, imperative, and subjunctive. They can be either positive, referring to an action, or negative, denoting the absence of an action (doing otherwise, avoid doing, preventing, refraining, etc.) when intentionality is involved.

STIT modalities can be also be counterfactual modalities (could have done, might have done, should have done); they may occur in the scope of deontic modalities, in the form of obligation, prohibition, permission (to do something) and interact with temporal modalities when the time of their evaluation may refer to a time different from the time of action, as in the duty to apologize or the duty to admonish.

In this talk a sequent calculus methodology for systems of agency based on branching-time frames with agents and choices is proposed, starting with a complete and cut-free system for multi-agent deliberative STIT. The methodology allows a transparent justifi cation of the rules, good structural properties, analyticity, direct completeness and decidability proofs.