Katarina Britz [6]K. Britz [2]
  1.  5
    From KLM-Style Conditionals to Defeasible Modalities, and Back.Katarina Britz & Ivan Varzinczak - 2018 - Journal of Applied Non-Classical Logics 28 (1):92-121.
    We investigate an aspect of defeasibility that has somewhat been overlooked by the non-monotonic reasoning community, namely that of defeasible modes of reasoning. These aim to formalise defeasibility of the traditional notion of necessity in modal logic, in particular of its different readings as action, knowledge and others in specific contexts, rather than defeasibility of conditional forms. Building on an extension of the preferential approach to modal logics, we introduce new modal osperators with which to formalise the notion of defeasible (...)
    Direct download (7 more)  
    Export citation  
    My bibliography   2 citations  
  2.  11
    Preferential Accessibility and Preferred Worlds.Katarina Britz & Ivan Varzinczak - 2018 - Journal of Logic, Language and Information 27 (2):133-155.
    Modal accounts of normality in non-monotonic reasoning traditionally have an underlying semantics based on a notion of preference amongst worlds. In this paper, we motivate and investigate an alternative semantics, based on ordered accessibility relations in Kripke frames. The underlying intuition is that some world tuples may be seen as more normal, while others may be seen as more exceptional. We show that this delivers an elegant and intuitive semantic construction, which gives a new perspective on defeasible necessity. Technically, the (...)
    Direct download (2 more)  
    Export citation  
    My bibliography   1 citation  
  3. A Power Algebra for Theory Change.K. Britz - 1999 - Journal of Logic, Language and Information 8 (4):429-443.
  4.  99
    Computing Verisimilitude.Katarina Britz & Chris Brink - 1995 - Notre Dame Journal of Formal Logic 36 (1):30-43.
    This paper continues the power ordering approach to verisimilitude. We define a parameterized verisimilar ordering of theories in the finite propositional case, both semantically and syntactically. The syntactic definition leads to an algorithm for computing verisimilitude. Since the power ordering approach to verisimilitude can be translated into a standard notion of belief revision, the algorithm thereby also allows the computation of membership of a belief-revised theory.
    Direct download (3 more)  
    Export citation  
    My bibliography  
  5.  24
    Semantics for Dual Preferential Entailment.Katarina Britz, Johannes Heidema & Willem Labuschagne - 2009 - Journal of Philosophical Logic 38 (4):433-446.
    We introduce and explore the notion of duality for entailment relations induced by preference orderings on states. We discuss the relationship between these preferential entailment relations from the perspectives of Boolean algebra, inference rules, and modal axiomatisation. Interpreting the preference relations as accessibility relations establishes modular Gödel-Löb logic as a suitable modal framework for rational preferential reasoning.
    Direct download (5 more)  
    Export citation  
    My bibliography  
  6.  15
    Index of Authors of Volume 8.B. Aldag, G. Antoniou, T. Aoto, P. Blackburn, K. Britz, M. Brown, A. Bundy, R. Cox, M. De Rijke & S. Demri - 1999 - Journal of Logic, Language, and Information 8 (485):485.
  7.  23
    KT and S4 Satisfiability in a Constraint Logic Environment.Lynn Stevenson, Katarina Britz & Tertia Hörne - 2008 - In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. pp. 370--381.
    Direct download  
    Export citation  
    My bibliography  
  8.  14
    Constrained Consequence.Katarina Britz, Johannes Heidema & Ivan Varzinczak - 2011 - Logica Universalis 5 (2):327-350.
    There are various contexts in which it is not pertinent to generate and attend to all the classical consequences of a given premiss—or to trace all the premisses which classically entail a given consequence. Such contexts may involve limited resources of an agent or inferential engine, contextual relevance or irrelevance of certain consequences or premisses, modelling everyday human reasoning, the search for plausible abduced hypotheses or potential causes, etc. In this paper we propose and explicate one formal framework for a (...)
    Direct download (3 more)  
    Export citation  
    My bibliography