No CrossRef data available.
Article contents
RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC
Published online by Cambridge University Press: 13 September 2019
Abstract
We consider the propositional logic equipped with Chellas stit operators for a finite set of individual agents plus the historical necessity modality. We settle the question of whether such a logic enjoys restricted interpolation property, which requires the existence of an interpolant only in cases where the consequence contains no Chellas stit operators occurring in the premise. We show that if action operators count as logical symbols, then such a logic has restricted interpolation property iff the number of agents does not exceed three. On the other hand, if action operators are considered to be nonlogical symbols, then the restricted interpolation fails for any number of agents exceeding one. It follows that unrestricted Craig interpolation also fails for almost all versions of stit logic.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2019