Switch to: Citations

Add references

You must login to add references.
  1. A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
    Download  
     
    Export citation  
     
    Bookmark   640 citations  
  • Adding a temporal dimension to a logic system.Marcelo Finger & Dov M. Gabbay - 1992 - Journal of Logic, Language and Information 1 (3):203-233.
    We introduce a methodology whereby an arbitrary logic system L can be enriched with temporal features to create a new system T(L). The new system is constructed by combining L with a pure propositional temporal logic T (such as linear temporal logic with Since and Until) in a special way. We refer to this method as adding a temporal dimension to L or just temporalising L. We show that the logic system T(L) preserves several properties of the original temporal logic (...)
    Download  
     
    Export citation  
     
    Bookmark   42 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  
  • (1 other version)Temporal theories of reasoning.Joeri Engelfriet & Jan Treur - 1995 - Journal of Applied Non-Classical Logics 5 (1):97-119.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Back and Forth Between Modal Logic and Classical Logic.Hajnal Andreka, Johan van Benthem & Istvan Nemeti - 1995 - Logic Journal of the IGPL 3 (5):685-720.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • (1 other version)Temporal theories of reasoning.Joeri Engelfriet & Jan Treur - 1995 - Journal of Applied Non-Classical Logics 5 (2):239-261.
    In this paper we describe a general way of formalizing reasoning behaviour. Such a behaviour may be described by all the patterns which are valid for the behaviour. A pattern can be seen as a sequence of information states which describe what has been derived at each time point. A transition from an information state at a point in time to the state at the (or a) next time point is induced by one or more inference steps. We choose to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Specification of nonmonotonic reasoning.Joeri Engelfriet & Jan Treur - 2000 - Journal of Applied Non-Classical Logics 10 (1):7-26.
    ABSTRACT Two levels of description of nonmonotonic reasoning are distinguished. For these levels semantical formalizations are given. The first level is defined semantically by the notion of belief state frame, the second level by the notion of reasoning frame. We introduce two specification languages to describe nonmonotonic reasoning at each of the levels: a specification language for level 1, with formal semantics based on belief state frames, a fragment of infinitary temporal logic as a general specification language for level 2, (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations