9 found
Sort by:
  1. 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)  
     
    My bibliography  
     
    Export citation  
  2. 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)  
     
    My bibliography  
     
    Export citation  
  3. 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.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  4. 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)  
     
    My bibliography  
     
    Export citation  
  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)  
     
    My bibliography  
     
    Export citation  
  6. Alexander Bochman & Amir Horowitz (1998). Book Reviews. [REVIEW] Philosophia 26 (1-2):237-269.
    No categories
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  7. 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)  
     
    My bibliography  
     
    Export citation  
  8. 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)  
     
    My bibliography  
     
    Export citation  
  9. Alexander Bochman (1990). Mereology as a Theory of Part-Whole. Logique Et Analyse 129 (30):75-101.
     
    My bibliography  
     
    Export citation