scientific article; zbMATH DE number 2239772

Publication date: 20 December 2005

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

counterfactuals nonmonotonic logic belief revision probabilistic inference circumscription update logics default valuations default-assumption consequence maxfamilies of rules non-normal default rules paraclassical logics representation theorems for default systems

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Related Items (52)

Default consequence relations from topology and measure theory ⋮ On the Algebraic Structure of Conditional Events ⋮ A semantics for hyperintensional belief revision based on information bases ⋮ The Best of All PossibleWorlds: Where Interrogative Games Meet Research Agendas ⋮ Defaults with priorities ⋮ Causal discovery and the problem of ignorance. An adaptive logic approach ⋮ A shared framework for consequence operations and abstract model theory ⋮ Bayesian Propositional Logic ⋮ Logical questions behind the lottery and preface paradoxes: lossy rules for uncertain inference ⋮ Odd choices: on the rationality of some alleged anomalies of decision and inference ⋮ Human rationality challenges universal logic ⋮ Ultravaluations and their applications in \textsf{CPL} ⋮ The doctrinal paradox, the discursive dilemma, and logical aggregation theory ⋮ Editorial introduction: substructural logics and metainferences ⋮ Stream-based inconsistency measurement ⋮ A concept approach to input/output logic ⋮ Abduction as deductive saturation: a proof-theoretic inquiry ⋮ Non-monotonic reasoning via dynamic consequence ⋮ Normative Consequence: The Problem of Keeping It Whilst Giving It up ⋮ On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G ⋮ Deontic modals: why abandon the default approach ⋮ Preferential accessibility and preferred worlds ⋮ Boolean algebras of conditionals, probability and logic ⋮ Unnamed Item ⋮ Bi-intuitionistic implication structures ⋮ Free choice reasons ⋮ The quantitative/qualitative watershed for rules of uncertain inference ⋮ Applied logic without psychologism ⋮ Keeping Globally Inconsistent Scientific Theories Locally Consistent ⋮ Open Reading and Free Choice Permission: A Perspective in Substructural Logics ⋮ Judgment aggregation in nonmonotonic logic ⋮ Belief without credence ⋮ New Arguments for Adaptive Logics as Unifying Frame for the Defeasible Handling of Inconsistency ⋮ Monotonic and non-monotonic embeddings of Anselm's proof ⋮ Monotonic variable consistency rough set approaches ⋮ Conditional probability in the light of qualitative belief change ⋮ An algebraic characterization of equivalent preferential models ⋮ Norms as ascriptions of violations: an analysis in modal logic ⋮ Faithful and Invariant Conditional Probability in Łukasiewicz Logic ⋮ A characterization theorem for injective model classes axiomatized by general rules ⋮ On rational entailment for propositional typicality logic ⋮ Epistemic logic for rule-based agents ⋮ On nonmonotonic consequence relations ⋮ Counterpossibles and normal defaults in the filioque controversy ⋮ Non-monotonic logic and the compatibility of science and religion ⋮ A Note on Cumulative Stereotypical Reasoning ⋮ On the complexity of inconsistency measurement ⋮ Dynamic Epistemic Logic as a Substructural Logic ⋮ Towards a Bayesian Theory of Second-Order Uncertainty: Lessons from Non-Standard Logics ⋮ Disjoint Logics ⋮ Lossy Inference Rules and Their Bounds: A Brief Review ⋮ On the expressivity of inconsistency measures

This page was built for publication: