Restricted interpolation and lack thereof in stit logic

DOI10.1017/S1755020319000406zbMATH Open1485.03041MaRDI QIDQ5117589FDOQ5117589

Authors: 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

Recommendations

• On the basic logic ofSTITwith a single agent
• Probabilistic stit logic
• Complexity results of STIT fragments
• Properties of logics of individual and group agency
• From coalition logic to STIT

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?)
• Agency and deontic logic
• Alternative axiomatics and complexity of deliberative STIT theories
• Deontic epistemic stit logic distinguishing modes of mens rea
• Inference as doxastic agency. I: The basics of justification stit logic
• Inference as doxastic agency. II: Ramifications and refinements
• Modal Foundations for Predicate Logic
• Properties of logics of individual and group agency
• Temporal STIT logic and its application to normative reasoning
• The deliberative stit: A study of action, omission, ability, and obligation

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)