Browse ORBilu by Open Access
- What it is and what it isn't
- Green Road / Gold Road?
- Ready to Publish. Now What?
- How can I support the OA movement?
- Where can I learn more?
ORBilu is a project developed by
 A New Perspective on Nonmonotonic LogicsGabbay, Dov M.  ; Book published by Springer (2016) Detailed reference viewed: 137 (0 UL)Conditionals and Modularity in General LogicsGabbay, Dov M. ; Book published by Springer (2011) Detailed reference viewed: 93 (0 UL)  A Comment on Work by Booth and Co-authorsGabbay, Dov M. ; in Studia Logica (2010), 94(3), 403432 Booth and his co-authors have shown in [2], that many new approaches to theory revision (with fixed K) can be represented by two relations, < and, where < is the usual ranked relation, and is a sub ... [more ▼] Booth and his co-authors have shown in [2], that many new approaches to theory revision (with fixed K) can be represented by two relations, < and, where < is the usual ranked relation, and is a sub-relation of <. They have, however, left open a characterization of the infinite case, which we treat here. [less ▲] Detailed reference viewed: 131 (0 UL)A Theory of Hierarchical Consequence and ConditionalsGabbay, Dov M. ; 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: 112 (0 UL)Independence-Revision and DefaultsGabbay, Dov M. ; in Studia Logica (2009), 92(3), 381394 We investigate different aspects of independence here, in th e context of theory revision, generalizing slightly work by Chopra, Parikh, and Rodrigues, and in the context of prefere ntial reasoning Detailed reference viewed: 111 (0 UL)A Theory of Hierarchical ConditionalsGabbay, Dov M. ; in Journal of Logic, Language and Information (2009) Detailed reference viewed: 29 (0 UL)Logical Tools for Handling Change in Agent-based SystemsGabbay, Dov M. ; Book published by Springer (2009) Detailed reference viewed: 72 (0 UL)Roadmap for Preferential LogicsGabbay, Dov M. ; in Journal of Applied Non-Classical Logics (2009), 19(1), 4395 Detailed reference viewed: 108 (0 UL)Reactive Preferential Structures and Nonmonotonic consequenceGabbay, Dov M. ; in Review of Symbolic Logic (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: 110 (1 UL)An Analysis of Defeasible Inheritance SystemsGabbay, Dov M. ; in Logic Journal of the IGPL (2009) Detailed reference viewed: 91 (0 UL)Size and LogicGabbay, Dov M. ; in Review of Symbolic Logic (2009), 2(2), 396404 Detailed reference viewed: 31 (1 UL) |
||
