6 found
Sort by:
Disambiguations:
Katarina Britz [4]K. Britz [2]
  1. Katarina Britz, Johannes Heidema & Ivan Varzinczak (2011). Constrained Consequence. 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 (4 more)  
     
    My bibliography  
     
    Export citation  
  2. Katarina Britz, Johannes Heidema & Willem Labuschagne (2009). Semantics for Dual Preferential Entailment. 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)  
     
    My bibliography  
     
    Export citation  
  3. Lynn Stevenson, Katarina Britz & Tertia Hörne (2008). KT and S4 Satisfiability in a Constraint Logic Environment. In Tu-Bao Ho & Zhi-Hua Zhou (eds.), Pricai 2008: Trends in Artificial Intelligence. Springer. 370--381.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. B. Aldag, G. Antoniou, T. Aoto, P. Blackburn, K. Britz, M. Brown, A. Bundy, R. Cox, M. De Rijke & S. Demri (1999). Index of Authors of Volume 8. Journal of Logic, Language, and Information 8 (485):485.
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. K. Britz (1999). A Power Algebra for Theory Change. Journal of Logic, Language and Information 8 (4):429-443.
    Various representation results have been established for logics of belief revision, in terms of remainder sets, epistemic entrenchment, systems of spheres and so on. In this paper I present another representation for logics of belief revision, as an algebra of theories. I show that an algebra of theories, enriched with a set of rejection operations, provides a suitable algebraic framework to characterize the theory change operations of systems of belief revision. The theory change operations arise as power operations of the (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  6. Katarina Britz & Chris Brink (1995). Computing Verisimilitude. 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 (4 more)  
     
    My bibliography  
     
    Export citation