Principles Of Talmudic Logic
From MaRDI portal
Publication:3305655
DOI10.1007/978-3-319-97755-3_4zbMath1445.03003OpenAlexW2896385664MaRDI QIDQ3305655
M. Abraham, U. Schild, Dov M. Gabbay
Publication date: 10 August 2020
Published in: Handbook of Philosophical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-97755-3_4
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system]
- Two approaches to the problems of self-attacking arguments and general odd-length cycles of attack
- Resource-origins of nonmonotonicity
- Dynamic epistemic logic
- On the evaluation of argumentation formalisms
- Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
- A meta-model of access control in a fibred security language
- Contrary-to-duty obligations
- Future determination of entities in Talmudic public announcement logic
- Reactive Kripke models and contrary to duty obligations. Part A: Semantics
- Contrary-to-duty reasoning with preference-based dyadic obligations
- Logical modes of attack in argumentation networks
- A logical account of formal argumentation
- The paradox of multiple elections
- The many valued and nonmonotonic turn in logic
- SCC-recursiveness: a general schema for argumentation semantics
- Pillars of computer science. Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday
- Conflicting imperatives and dyadic deontic logic
- Preferred semantics as socratic discussion
- Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets
- Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim)
- Qal wa- omer and Theory of Massive-Parallel Proofs
- Argument-based extended logic programming with defeasible priorities
- Reactive Kripke Models and Contrary to Duty Obligations
- Changing legal systems: legal abrogations and annulments in Defeasible Logic
- Reliable Methods of Judgement Aggregation
- Revision, Acceptability and Context
- An argumentation-theoretic foundation for logic programming
- Controlled Revision - An Algorithmic Approach for Belief Revision
- Collective Argumentation and Disjunctive Logic Programming
- Theory of disjunctive attacks, Part I
- Obligations and Prohibitions in Talmudic Deontic Logic
- Reactive standard deontic logic
- Reasoning about delegation and revocation schemes in answer set programming
- Mechanizing Mathematical Reasoning
- Symbolic and Quantitative Approaches to Reasoning with Uncertainty
