Delegation, count as, and security in Talmudic logic, a preliminary study

MaRDI QIDQ4918403zbMATH OpenFDO

Authors M. Abraham, R. Belfer, U. Schild, Dov Gabbay

Publication date 24 April 2013

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other applications of logic (03B80) Cooperative games (91A12) Games involving topology, set theory, or logic (91A44)

Recommendations

• A logic of delegation
• scientific article; zbMATH DE number 2080698
• Deontic Logic in Computer Science
• Delegation of Power in Normative Multiagent Systems
• Reasoning about delegation and revocation schemes in answer set programming

Cited in

(8)

• Introducing reactive Kripke semantics and arc accessibility
• On the origin of logical determinism in Babylonia
• A logic of delegation
• The Talmudic logic project, ongoing since 2008
• Postulates for Revocation Schemes
• Principles of Talmudic logic
• Delegation of Power in Normative Multiagent Systems
• scientific article; zbMATH DE number 2080698 (Why is no real title available?)

This page was built for publication: Delegation, count as, and security in Talmudic logic, a preliminary study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4918403)