We provide proof-theoretic results about deliberative STIT logic. First we present STIT logic for individual agents without time, where the problem of ...

Definition. A groupSTIT-model is a tuple M = hW,R,Vi such that: W is a non-empty set;. R : 2AGT → 2W×W such that: R∅. = W × W;.

This is a study on the truth-conditional semantics of propositional attitude attributionstatements. It is suggested that attitude contents should be ...

We provide proof-theoretic results about deliberative STIT logic. First we present STIT logic for individual agents without time, where the problem of ...

Recent theories of agency (sees to it that) of Nuel Belnap and Michael Perloff are examined, particularly in the context of an early proposal of the author.

Andreas Herzig, François Schwarzentruber: Properties of logics of individual and group agency. Advances in Modal Logic 2008: 133-149. manage site settings.

Feb 3, 2014 · We survey major logical approaches to the study of information, as well as informational understandings of logics themselves.

Institutional logic refers to the socially constructed patterns of material practices, assumptions, values, beliefs, and rules that individuals use to ...

Philosophy of logic is the area of philosophy that studies the scope and nature of logic. It investigates the philosophical problems raised by logic.

Aug 4, 2021 · The aim of this exploratory paper is to review an under-appreciated parallel between group agency and artificial intelligence.