References of "Review of Symbolic Logic (The)"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailSize and Logic
Gabbay, Dov M. UL; Schlechta, Karl

in Review of Symbolic Logic (The) (2009), 2(2), 396404

Detailed reference viewed: 7 (0 UL)
Full Text
Peer Reviewed
See detailReactive Preferential Structures and Nonmonotonic consequence
Gabbay, Dov M. UL; Schlechta, Karl

in Review of Symbolic Logic (The) (2009), 2(2), 414450

We introduce Information Bearing Relation Systems (IBRS) a s an abstraction of many logical systems. We then define a general semantics for IBRS, and show that a special case of IBRS generalizes in a very ... [more ▼]

We introduce Information Bearing Relation Systems (IBRS) a s an abstraction of many logical systems. We then define a general semantics for IBRS, and show that a special case of IBRS generalizes in a very natural way preferential semantics and solves open representation problems for weak logical systems. This is possible, as we can ”break” the strong coher ence properties of preferential structures by higher arrows, i.e. arrows, which do not go to points, but t o arrows themselves [less ▲]

Detailed reference viewed: 48 (0 UL)
Full Text
Peer Reviewed
See detailBelief Revision in Non-classical Logic II
Gabbay, Dov M. UL; Russo, Alessandra; Rodrigues, Odinaldo

in Review of Symbolic Logic (The) (2008), 1(03), 267304

Detailed reference viewed: 25 (1 UL)
Full Text
Peer Reviewed
See detailCumulativity without closure of the domain under finite unions
Gabbay, Dov M. UL; Schlechta, K.

in Review of Symbolic Logic (The) (2008), 1(03), 267304

For nonmonotonic logics, Cumulativity is an important logical rule. We show here that Cumulativity fans out into an infinity of different conditions, if the domain is not closed under finite unions.

Detailed reference viewed: 40 (0 UL)