References of "Journal of Applied Logic"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailIntroducing Abstract Argumentation with Many Lives
Gabbay, Dov M. UL

in Journal of Applied Logic (2020), 2631(3), 295

Detailed reference viewed: 40 (5 UL)
Full Text
Peer Reviewed
See detailOn the Complexity of Input/Output Logic
Robaldo, Livio UL; Sun, Xin

in Journal of Applied Logic (2017)

Detailed reference viewed: 125 (4 UL)
Full Text
Peer Reviewed
See detailA neural cognitive model of argumentation with application to legal inference and decision making
Garcez, Artur S. D Avila; Gabbay, Dov M. UL; Lamb, Lu Is C.

in Journal of Applied Logic (2014), 12(2), 109--127

Detailed reference viewed: 108 (1 UL)
Full Text
Peer Reviewed
See detailThe paradoxes of permission an action based solution
Gabbay, Dov M. UL; Gammaitoni, Loïc UL; Sun, Xin UL

in Journal of Applied Logic (2014), 12(2), 179191

The aim of this article is to construct a deontic logic in which the free choice postulate allow (Ross, 1941) [11] would be consistent and all the implausible result mentioned in (Hanson, in press) [5 ... [more ▼]

The aim of this article is to construct a deontic logic in which the free choice postulate allow (Ross, 1941) [11] would be consistent and all the implausible result mentioned in (Hanson, in press) [5] will be blocked. To achieve this we first developed a new theory of action. Then we build a new deontic logic in which the deontic action operator and the deontic proposition operator are explicitly distinguished. [less ▲]

Detailed reference viewed: 106 (16 UL)
Full Text
Peer Reviewed
See detailProducts of modal logics and tensor products of modal algebras
Gabbay, Dov M. UL; Shapirovsky, Ilya; Shehtman, Valentin B.

in Journal of Applied Logic (2014), 12(4), 570--583

Detailed reference viewed: 93 (1 UL)
Full Text
Peer Reviewed
See detailPropositional Dynamic Logic for Searching Games with Errors
Teheux, Bruno UL

in Journal of Applied Logic (2014), 12(4), 377-394

We investigate some finitely-valued generalizations of propositional dynamic logic with tests. We start by introducing the n+1-valued Kripke models and a corresponding language based on a modal extension ... [more ▼]

We investigate some finitely-valued generalizations of propositional dynamic logic with tests. We start by introducing the n+1-valued Kripke models and a corresponding language based on a modal extension of Łukasiewicz many-valued logic. We illustrate the definitions by providing a framework for an analysis of the Rényi - Ulam searching game with errors. Our main result is the axiomatization of the theory of the n+1-valued Kripke models. This result is obtained through filtration of the canonical model of the smallest n+1-valued propositional dynamic logic. [less ▲]

Detailed reference viewed: 193 (8 UL)
Full Text
Peer Reviewed
See detailFuture determination of entities in Talmudic public announcement logic
Abraham, Michael; Belfer, Israel; Gabbay, Dov M. UL et al

in Journal of Applied Logic (2013), 11(1), 63--90

Detailed reference viewed: 104 (2 UL)
Full Text
Peer Reviewed
See detailReactive Kripke models and contrary to duty obligations. Part A: Semantics
Gabbay, Dov M. UL

in Journal of Applied Logic (2013), 11(1), 103--136

Detailed reference viewed: 112 (1 UL)
Full Text
Peer Reviewed
See detailSelected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008)
van der Meyden, Ron; van der Torre, Leon UL

in Journal of Applied Logic (2011), 9(2), 8182

Detailed reference viewed: 107 (0 UL)
Peer Reviewed
See detailSubstantive and procedural norms in normative multiagent systems
Boella, Guido; van der Torre, Leon UL

in Journal of Applied Logic (2008), 6(2), 152171

Procedural norms are instrumental norms addressed to agents playing a role in the normative system, for example to motivate these role playing agents to recognize violations or to apply sanctions ... [more ▼]

Procedural norms are instrumental norms addressed to agents playing a role in the normative system, for example to motivate these role playing agents to recognize violations or to apply sanctions. Procedural norms have first been discussed in law, where they address legal practitioners such as legislators, lawyers and policemen, but they are discussed now too in normative multiagent systems to motivate software agents. Procedural norms aim to achieve the social order specified using regulative norms like obligations and permissions, and constitutive norms like counts-as obligations. In this paper we formalize procedural, regulative and constitutive norms using input/output logic enriched with an agent ontology and an abstraction hierarchy. We show how our formalization explains Castelfranchi's notion of mutual empowerment, stating that not only the agents playing a role in a normative system are empowered by the normative system, but the normative system itself is also empowered by the agents playing a role in it. In our terminology, the agents are not only institutionally empowered, but they are also delegated normative goals from the system. Together, institutional empowerment and normative goal delegation constitute a mechanism which we call delegation of power, where agents acting on behalf of the normative system become in charge of recognizing which institutional facts follow from brute facts. [less ▲]

Detailed reference viewed: 149 (0 UL)