Switch to: References

Add citations

You must login to add citations.
  1. Restricted Interpolation and Lack Thereof in Stit Logic.Grigory K. Olkhovikov - 2020 - Review of Symbolic Logic 13 (3):459-482.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Neutral Temporal Deontic STIT Logic.Kees van Berkel & Tim Lyon - 2019 - In P. Blackburn, E. Lorini & M. Guo (eds.), Logic, Rationality, and Interaction. Berlin, Heidelberg: pp. 340-354.
    In this work we answer a long standing request for temporal embeddings of deontic STIT logics by introducing the multi-agent STIT logic TDS . The logic is based upon atemporal utilitarian STIT logic. Yet, the logic presented here will be neutral: instead of committing ourselves to utilitarian theories, we prove the logic TDS sound and complete with respect to relational frames not employing any utilitarian function. We demonstrate how these neutral frames can be transformed into utilitarian temporal frames, while preserving (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Temporal Logic.Temporal Logic - forthcoming - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  • A STIT Logic for Reasoning About Social Influence.Emiliano Lorini & Giovanni Sartor - 2016 - Studia Logica 104 (4):773-812.
    In this paper we propose a method for modeling social influence within the STIT approach to action. Our proposal consists in extending the STIT language with special operators that allow us to represent the consequences of an agent’s choices over the rational choices of another agent.
    Download  
     
    Export citation  
     
    Bookmark  
  • Temporal Logic.Antony Galton - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   6 citations