scientific article
From MaRDI portal
Publication:2768759
zbMath0989.03003MaRDI QIDQ2768759
Publication date: 3 February 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)
Related Items
Two concepts of plausibility in default reasoning, Conditionals from a linguistic point of view: two case studies, Unifying default reasoning and belief revision in a modal framework, Conditional logics of normality: A modal approach, A paraconsistent conditional logic, De Finettian logics of indicative conditionals. I: Trivalent semantics and validity, De Finettian logics of indicative conditionals. II: Proof theory and algebraic semantics, Agential free choice, Roads to necessitarianism, The application of constraint semantics to the language of subjective uncertainty, Dynamic interactive epistemology, Modus ponens under the restrictor view, Weak negation in inquisitive semantics, Evidence, significance, and counterfactuals: Schramm on the new riddle of induction, Inferring probability comparisons, Belief revision, conditional logic and nonmonotonic reasoning, Four probability-preserving properties of inferences, Williamson on counterpossibles, A peculiarity in Pearl's logic of interventionist counterfactuals, Generalized possibilistic logic: foundations and applications to qualitative reasoning about uncertainty, System \(\text{Z}^{\text{FO}}\): default reasoning with system Z-like ranking functions for unary first-order conditional knowledge bases, Belief revision and projection in the epistemic situation calculus, Evidence and plausibility in neighborhood structures, Extending Removed Sets Revision to partially preordered belief bases, Semantic characterization of rational closure: from propositional logic to description logics, Subjunctive conditional probability, Ceteris paribus and ceteris rectis laws: content and causal role, A modal logic framework for reasoning about comparative distances and topology, Safety, closure, and the flow of information, Necessary connections in context, Impossible worlds and the logic of imagination, Implicature and non-local pragmatic encroachment, Two arguments for the etiological theory over the modal theory of biological function, Epistemology versus non-causal realism, Causal counterfactuals are not interventionist counterfactuals, Counterlegal dependence and causation's arrows: causal models for backtrackers and counterlegals, Transitivity and proportionality in causation, Dispositions and tricks, Causal time asymmetry, Laws and meta-laws of nature: conservation laws and symmetries, The co-discovery of conservation laws and particle families, Preferential accessibility and preferred worlds, Causality and maximum entropy updating, How to (properly) strengthen Bell's theorem using counterfactuals, Probabilistic inferences from conjoined to iterated conditionals, Logic and semantics for imperatives, Preferential semantics using non-smooth preference relations, Against hypothetical syllogism, Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition, On possible worlds with modal parts. A semantics for modal interaction, Conditional belief types, Explanation and modality: on the contingency horn of Blackburn's dilemma, Loop quantum gravity: a new threat to humeanism? I: The problem of spacetime, Belief base change as priority change: a study based on dynamic epistemic logic, The propensity interpretation of probability: a re-evaluation, An epistemic logic of blameworthiness, Abstraction and mining of traces to explain concurrency bugs, Ya shouldn'ta couldn'ta wouldn'ta, Counterfactual skepticism and multidimensional semantics, On the notion of free will in the Free Will Theorem, Belief without credence, Prior's individuals, Counterpossibles, Metaphysics of the principle of least action, Dynamic causes for the violation of timed reachability properties, Evolutionary stability in repeated games played by finite automata, Basic intuitionistic conditional logic, Implicit and explicit stances in logic, Formal similarities and differences among qualitative conditional semantics, Structured anaphora to quantifier domains, The premiss-based approach to judgment aggregation, The possibility of judgment aggregation on agendas with subjunctive implications, Iterated belief change in the situation calculus, McCarthy variations in a modal key, Simplified forms of computerized reasoning with distance semantics, A deontic logic framework allowing for factual detachment, Epistemic closure and epistemic logic. I: Relevant alternatives and subjunctivism, Notes on conditional logic, Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem, Against Laplacian reduction of Newtonian mass to spatiotemporal quantities, Dynamic preference logic meets iterated belief change: representation results and postulates characterization, Actuality, tableaux, and two-dimensional modal logics, Modal Platonism and the problem of negativity, On the Ramsey test analysis of `because', A logical approach to interpolation based on similarity relations, Deflationary metaphysics and ordinary language, Defeasible normative reasoning, Logic of convex order, On first-order conditional logics, The expressive power of circumscription, Syntactical treatments of propositional attitudes, The ontology of impossible worlds, The three semantics of fuzzy sets, A formula for incorporating weights into scoring rules, To preference via entrenchment, Modal logics for qualitative possibility theory, Nonmonotonic inference based on expectations, The co-occurrence test for non-monotonic inference, Revision by comparison, Conditional logic of actions and causation, Choice-driven counterfactuals, Peirce's dragon-head logic (R 501, 1901), Contrary-To-Duties in Games, In All, but Finitely Many, Possible Worlds: Model-Theoretic Investigations on ‘Overwhelming Majority’ Default Conditionals, Deontic Conflicts and Multiple Violations, Rewriting the history of connexive logic, Antirealism, Meaning and Truth-Conditional Semantics, Necessary Truth and Proof, Iterated conditionals and characterization of P-entailment, CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity, CLASSICAL COUNTERPOSSIBLES, A generalised model of judgment aggregation, CONDITIONAL BELIEFS: FROM NEIGHBOURHOOD SEMANTICS TO SEQUENT CALCULUS, In all but finitely many possible worlds: model-theoretic investigations on `\textit{overwhelming majority}' default conditionals, VOLUNTARY IMAGINATION: A FINE-GRAINED ANALYSIS, Robot task planning and explanation in open and uncertain worlds, No interpretation of probability, Adaptively applying modus ponens in conditional logics of normality, Minimal models vs. logic programming: the case of counterfactual conditionals, Non-normal modal logics and conditional logics: semantic analysis and proof theory, Trust and agency in the context of communication, On the relation between possibilistic logic and modal logics of belief and knowledge, ALX, an action logic for agents with bounded rationality, THE LOGIC OF THE EVIDENTIAL CONDITIONAL, From \textit{counterfactual} conditionals to \textit{temporal} conditionals, Orthopartitions and possibility distributions, Counterfactual and seeing-to-it responsibilities in strategic games, Counterfactuals as modal conditionals, and their probability, HYPE: a system of hyperintensional logic (with an application to semantic paradoxes), Probabilities of conditionals and previsions of iterated conditionals, Causality analysis and fault ascription in component-based systems, The non-maximality-solution to counterfactual scepticism, Counterpossibles, story prefix and trivialism, The implicative conditional, Perfect prediction in normal form: superrational thinking extended to non-symmetric games, Temporal causality in reactive systems, Situated conditional reasoning, A classical way forward for the regularity and normalization problems, A graded semantics for counterfactuals, Logic talk, The physics and the philosophy of time reversal in standard quantum mechanics, The epistemic significance of modal factors, A Compositional Semantics for ‘If Then’ Conditionals, A logical theory for conditional weak ontic necessity based on context update, An elegant universe, Safety, sensitivity and differential support, Knowledge, justification, and (a sort of) safe belief, Disjunctive antecedent conditionals, Counterfactual reasoning within physical theories, A logic for binary classifiers and their explanation, Belief Contraction in the Context of the General Theory of Rational Choice, A Survey of Ranking Theory, On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G, Unnamed Item, Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support, From KLM-style conditionals to defeasible modalities, and back, Informational dynamics of epistemic possibility modals, The consequence argument ungrounded, Weak AGM postulates and strong Ramsey test: A logical formalization, Paraconsistent or Paracomplete?, Semantic classification of qualitative conditionals and calculating closures of nonmonotonic inference relations, Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models, Counterfactual state explanations for reinforcement learning agents via generative deep learning, A Paraconsistent and Substructural Conditional Logic, Probabilities of counterfactuals and counterfactual probabilities, Reasoning about evidence, Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision, A Topos-Theoretic Approach to Counterfactual Logic, Irrevocable belief revision in dynamic doxastic logic, Semi-contraction: Axioms and construction, Ockhamism without thin red lines, Embedded choices, Shifting Priorities: Simple Representations for Twenty-Seven Iterated Theory Change Operators, On the semantics of fuzzy logic, Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations, Arguing about constitutive and regulative norms, Hypothetical interventions and belief changes, INDICATIVE CONDITIONALS, RESTRICTED QUANTIFICATION, AND NAIVE TRUTH, Probability, coherent belief and coherent belief changes, Inconsistency in Ceteris Paribus Imagination, Connexive Extensions of Regular Conditional Logic, Two Logical Faces of Belief Revision, Nonmonotonic reasoning from conditional knowledge bases with system W, Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings, Acceptance and certainty, doxastic modals, and indicative conditionals, Conflicting imperatives and dyadic deontic logic, A simple and non-trivial Ramsey test, Reasoning about general preference relations, Metaphysical modality, without possible worlds, On the Essential Flatness of Possible Worlds, A doxastic behavioral characterization of generalized backward induction