The Talmudic logic project, ongoing since 2008

DOI10.1007/S11787-019-00228-YOpenAlexW2987448697MaRDI QIDQ2297956

Esther David, U. Schild, Dov M. Gabbay

Publication date: 20 February 2020

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-019-00228-y

zbMATH Keywords

temporal logicargumentationTalmudic logiclogic and lawmachine ethicsidentity theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Temporal logic (03B44)

Related Items (1)

Theological discourse and logic

Cites Work

• Unnamed Item
• Reactive automata
• Analysis of the Talmudic argumentum a fortiori inference rule (Kal Vachomer) using matrix abduction
• Future determination of entities in Talmudic public announcement logic
• Toward a Linguistic Interpretation of Deontic Paradoxes
• Logical Analysis of the Talmudic Rules of General and Specific (Klalim-u-Pratim)
• Are the Sorites and Liar Paradox of a Kind?
• Obligations and Prohibitions in Talmudic Deontic Logic

This page was built for publication: The Talmudic logic project, ongoing since 2008