Switch to: References

Citations of:

Explicit Non-normal Modal Logic

In Alexandra Silva, Renata Wassermann & Ruy de Queiroz (eds.), Logic, Language, Information, and Computation: 27th International Workshop, Wollic 2021, Virtual Event, October 5–8, 2021, Proceedings. Springer Verlag. pp. 64-81 (2021)

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