Switch to: References

Add citations

You must login to add citations.
  1. Temporal alethic–deontic logic and semantic tableaux.Daniel Rönnedal - 2012 - Journal of Applied Logic 10 (3):219-237.
    The purpose of this paper is to describe a set of temporal alethic–deontic systems, i.e. systems that include temporal, alethic and deontic operators. All in all we will consider 2,147,483,648 systems. All systems are described both semantically and proof theoretically. We use a kind of possible world semantics, inspired by the so-called T x W semantics, to characterize our systems semantically and semantic tableaux to characterize them proof theoretically. We also show that all systems are sound and complete with respect (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The Moral Law and The Good in Temporal Modal Logic with Propositional Quantifiers.Daniel Rönnedal - 2020 - Australasian Journal of Logic 17 (1):22-69.
    The Moral Law is fulfilled iff everything that ought to be the case is the case, and The Good is realised in a possible world w at a time t iff w is deontically accessible from w at t. In this paper, I will introduce a set of temporal modal deontic systems with propositional quantifiers that can be used to prove some interesting theorems about The Moral Law and The Good. First, I will describe a set of systems without any (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Three characterizability problems in deontic logic.Lennart Åqvist - 2000 - Nordic Journal of Philosophical Logic 5 (2):65-82.
    We consider an infinite hierarchy of systems of Alethic Modal Logic with so-called Levels of Perfection, and add to them suitable definitions of such interesting deontic categories as those of supererogation, offence, conditional obligation and conditional permission. We then state three problems concerning the proper characterization of the resulting logic(s) for our defined notions, and discuss two of these problems in some detail.
    Download  
     
    Export citation  
     
    Bookmark   4 citations