9 found
Order:
  1.  10
    Alexander Bochman (2001). A Logical Theory of Nonmonotonic Inference and Belief Change. Springer.
    This is the first book that integrates nonmonotonic reasoning and belief change into a single framework from an artificial intelligence logic point-of-view.
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography   6 citations  
  2.  16
    Alexander Bochman (2000). Belief Contraction as Nonmonotonic Inference. Journal of Symbolic Logic 65 (2):605-626.
    A notion of an epistemic state is introduced as a generalization of common representations suggested for belief change. Based on it, a new kind of nonmonotonic inference relation corresponding to belief contractions is defined. A number of representation results is established that cover both traditional AGM contractions and contractions that do not satisfy recovery.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  3.  41
    Alexander Bochman & Dov M. Gabbay (2012). Sequential Dynamic Logic. Journal of Logic, Language and Information 21 (3):279-298.
    We introduce a substructural propositional calculus of Sequential Dynamic Logic that subsumes a propositional part of dynamic predicate logic, and is shown to be expressively equivalent to propositional dynamic logic. Completeness of the calculus with respect to the intended relational semantics is established.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography  
  4.  5
    Alexander Bochman (1998). Biconsequence Relations: A Four-Valued Formalism of Reasoning with Inconsistency and Incompleteness. Notre Dame Journal of Formal Logic 39 (1):47-73.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  5. Alexander Bochman (1990). Mereology as a Theory of Part-Whole. Logique Et Analyse 129 (30):75-101.
     
    Export citation  
     
    My bibliography   1 citation  
  6.  12
    Alexander Bochman & Amir Horowitz (1998). Book Reviews. [REVIEW] Philosophia 26 (1-2):237-269.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  7.  14
    Alexander Bochman (2002). Entrenchment Versus Dependence: Coherence and Foundations in Belief Change. [REVIEW] Journal of Logic, Language and Information 11 (1):3-27.
    We describe the relation between coherence and foundations approaches to belief change in terms of a correspondence between epistemic entrenchment relations(Gärdenfors and Makinson, 1988; Rott, 1992) and dependence consequence relations from Bochman (1999, 2000a).The general conclusion of the study is that dependence consequence relations are sufficiently expressive to subsume the notion of an epistemic entrenchment and its generalizations.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  8.  8
    Alexander Bochman (1990). Concerted Instant-Interval Temporal Semantics. I. Temporal Ontologies. Notre Dame Journal of Formal Logic 31 (3):403-414.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  9.  6
    Alexander Bochman (1990). Concerted Instant-Interval Temporal Semantics. II. Temporal Valuations and Logics of Change. Notre Dame Journal of Formal Logic 31 (4):580-601.
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography