RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC

DOI10.1017/S1755020319000406zbMATH Open1485.03041arXiv1804.08306MaRDI QIDQ5117589FDOQ5117589

Grigory Olkhovikov

Publication date: 26 August 2020

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

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 non-logical symbols, 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.

Full work available at URL: https://arxiv.org/abs/1804.08306

zbMATH Keywords

interpolationstit logicRobinson consistency property

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The deliberative stit: A study of action, omission, ability, and obligation
• Deontic epistemic stit logic distinguishing modes of mens rea
• Alternative axiomatics and complexity of deliberative STIT theories
• Temporal logic and its application to normative reasoning
• Modal Foundations for Predicate Logic
• Inference as doxastic agency. I: The basics of justification stit logic

Cited In (1)

• Failure of interpolation in relevant logics

This page was built for publication: RESTRICTED INTERPOLATION AND LACK THEREOF IN STIT LOGIC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5117589)