Switch to: References

Add citations

You must login to add citations.
  1. $$\varvec{Brings~It~About~That}$$ Operators Decomposed with Relating Semantics.Tomasz Jarmużek, Mateusz Klonowski & Piotr Kulicki - 2024 - Studia Logica 112 (3):541-559.
    In the paper we examine the problem of logical systems that are extensions of Classical Propositional Logic with new, intensional connectives of agency: monadic and dyadic _bringing it about that_. These systems are usually studied within the neighbourhood semantics. Here we propose a different strategy. We study all of the accepted laws and rules of logic of agency and define a translation of the agency operators into connectives interpreted in relating semantics. After this translation we can make a reduction to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Tableaux for some deontic logics with the explicit permission operator.Daniela Glavaničová, Tomasz Jarmużek, Mateusz Klonowski & Piotr Kulicki - 2022 - Bulletin of the Section of Logic 51 (2):281-295.
    In this paper we present a tableau system for deontic logics with the operator of explicit permission. By means of this system the decidability of the considered logics can be proved. We will sketch how these logics are semantically defined by means of relating semantics and how they provide a simple solution to the free choice permission problem. In short, these logics employ relating implication and a certain propositional constant. These two are in turn used to define deontic operators similarly (...)
    Download  
     
    Export citation  
     
    Bookmark