Switch to: Citations

Add references

You must login to add references.
  1. What is a logic translation?Till Mossakowski, Răzvan Diaconescu & Andrzej Tarlecki - 2009 - Logica Universalis 3 (1):95-124.
    We study logic translations from an abstract perspective, without any commitment to the structure of sentences and the nature of logical entailment, which also means that we cover both proof- theoretic and model-theoretic entailment. We show how logic translations induce notions of logical expressiveness, consistency strength and sublogic, leading to an explanation of paradoxes that have been described in the literature. Connectives and quantifiers, although not present in the definition of logic and logic translation, can be recovered by their abstract (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)On the logic of theory change: Partial meet contraction and revision functions.Carlos E. Alchourrón, Peter Gärdenfors & David Makinson - 1985 - Journal of Symbolic Logic 50 (2):510-530.
    This paper extends earlier work by its authors on formal aspects of the processes of contracting a theory to eliminate a proposition and revising a theory to introduce a proposition. In the course of the earlier work, Gardenfors developed general postulates of a more or less equational nature for such processes, whilst Alchourron and Makinson studied the particular case of contraction functions that are maximal, in the sense of yielding a maximal subset of the theory (or alternatively, of one of (...)
    Download  
     
    Export citation  
     
    Bookmark   748 citations  
  • Propositional knowledge base revision and minimal change.Hirofumi Katsuno & Alberto O. Mendelzon - 1991 - Artificial Intelligence 52 (3):263-294.
    Download  
     
    Export citation  
     
    Bookmark   124 citations  
  • Subjunctives, dispositions and chances.Isaac Levi - 1977 - Synthese 34 (4):423 - 455.
    Download  
     
    Export citation  
     
    Bookmark   84 citations  
  • (2 other versions)The semantic conception of truth and the foundations of semantics.Alfred Tarski - 1943 - Philosophy and Phenomenological Research 4 (3):341-376.
    Download  
     
    Export citation  
     
    Bookmark   557 citations  
  • Knowledge-level analysis of belief base operations.Sven Ove Hansson - 1996 - Artificial Intelligence 82 (1-2):215-235.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Permissive Belief Revision (preliminary report).Maria R. Cravo, João P. Cachopo, Ana C. Cachopo & João P. Martins - unknown
    We point out that current belief revision operations can be used to revise non-monotonic theories and we propose a new operation, called permissive belief revision. The underlying idea of permissive belief revision consists of instead of abandoning some beliefs during a revision, transforming those beliefs into weaker ones, while still keeping the resulting belief set consistent. This framework allows us to keep more beliefs than what is usual using existing belief base-based revision theories.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Minimal change: Relevance and recovery revisited.Márcio M. Ribeiro, Renata Wassermann, Giorgos Flouris & Grigoris Antoniou - 2013 - Artificial Intelligence 201:59-80.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Axioms for abstract model theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
    Download  
     
    Export citation  
     
    Bookmark   60 citations  
  • Belief revision in Horn theories.James P. Delgrande & Pavlos Peppas - 2015 - Artificial Intelligence 218 (C):1-22.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Synchronization of logics.Amílcar Sernadas, Cristina Sernadas & Carlos Caleiro - 1997 - Studia Logica 59 (2):217-247.
    Motivated by applications in software engineering, we propose two forms of combination of logics: synchronization on formulae and synchronization on models. We start by reviewing satisfaction systems, consequence systems, one-step derivation systems and theory spaces, as well as their functorial relationships. We define the synchronization on formulae of two consequence systems and provide a categorial characterization of the construction. For illustration we consider the synchronization of linear temporal logic and equational logic. We define the synchronization on models of two satisfaction (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Weakening conflicting information for iterated revision and knowledge integration.Salem Benferhat, Souhila Kaci, Daniel Le Berre & Mary-Anne Williams - 2004 - Artificial Intelligence 153 (1-2):339-371.
    Download  
     
    Export citation  
     
    Bookmark   9 citations