Switch to: References

Add citations

You must login to add citations.
  1. A formalization of the Protagoras court paradox in a temporal logic of epistemic and normative reasons.Meghdad Ghari - forthcoming - Artificial Intelligence and Law:1-43.
    We combine linear temporal logic (with both past and future modalities) with a deontic version of justification logic to provide a framework for reasoning about time and epistemic and normative reasons. In addition to temporal modalities, the resulting logic contains two kinds of justification assertions: epistemic justification assertions and deontic justification assertions. The former presents justification for the agent’s knowledge and the latter gives reasons for why a proposition is obligatory. We present two kinds of semantics for the logic: one (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark