References of "Journal of Logic, Language and Information"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailFormalizing GDPR provisions in reified I/O logic: the DAPRECO knowledge base
Robaldo, Livio UL; Bartolini, Cesare UL; Lenzini, Gabriele UL et al

in Journal of Logic, Language and Information (2019)

Detailed reference viewed: 54 (18 UL)
Full Text
Peer Reviewed
See detailStrategic conversations under imperfect information: Epistemic Message Exchange games
Asher, Nicholas; Paul, Soumya UL

in Journal of Logic, Language and Information (2018), 27(4), 343-385

Detailed reference viewed: 64 (1 UL)
Full Text
Peer Reviewed
See detailAGM Contraction and Revision of Rules
Boella, Guido; Pigozzi, Gabriella UL; van der Torre, Leon UL

in Journal of Logic, Language and Information (2016), 25(3), 273-297

In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas ... [more ▼]

In this paper we study AGM contraction and revision of rules using input/output logical theories. We replace propositional formulas in the AGM framework of theory change by pairs of propositional formulas, representing the rule based character of theories, and we replace the classical consequence operator Cn by an input/output logic. The results in this paper suggest that, in general, results from belief base dynamics can be transferred to rule base dynamics, but that a similar transfer of AGM theory change to rule change is much more problematic. First, we generalise belief base contraction to rule base contraction, and show that two representation results of Hansson still hold for rule base contraction. Second, we show that the six so-called basic postulates of AGM contraction are consistent only for some input/output logics, but not for others. In particular, we show that the notorious recovery postulate can be satisfied only by basic output, but not by simple-minded output. Third, we show how AGM rule revision can be defined in terms of AGM rule contraction using the Levi identity. We highlight various topics for further research. [less ▲]

Detailed reference viewed: 115 (10 UL)
Full Text
Peer Reviewed
See detailSequential Dynamic Logic
Bochman, Alexander; Gabbay, Dov M. UL

in Journal of Logic, Language and Information (2012), 21(3), 279--298

Detailed reference viewed: 72 (0 UL)
Full Text
Peer Reviewed
See detailA Theory of Hierarchical Consequence and Conditionals
Gabbay, Dov M. UL; Schlechta, Karl

in Journal of Logic, Language and Information (2010), 19(1), 332

We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between sim- ple preferential structures and ranked ... [more ▼]

We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between sim- ple preferential structures and ranked structures. The additional accessibility relation allows us to consider only parts of the overall A-ranked structure. This framework allows us to formalize contrary to duty obligations, and other pictures where we have a hierarchy of situations, and maybe not all are accessible to all possible worlds. Representation results are proved. [less ▲]

Detailed reference viewed: 77 (0 UL)
Full Text
Peer Reviewed
See detailA Theory of Hierarchical Conditionals
Gabbay, Dov M. UL; Schlechta, Karl

in Journal of Logic, Language and Information (2009)

Detailed reference viewed: 16 (0 UL)