Deontic action logic, atomic boolean algebras and fault-tolerance

&
Journal of Applied Logic 7 (4):441-466 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.jal.2009.02.001

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,126

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A systematics of deontic action logics based on Boolean algebra.Robert Trypuz & Piotr Kulicki - 2009 - Logic and Logical Philosophy 18 (3-4):253-270.
Deontic Logics based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - 2013 - In Robert Trypuz, Krister Segerberg on Logic of Actions. Dordrecht, Netherland: Springer Verlag.
Pierce R. S.. A generalization of atomic Boolean algebras. Pacific journal of mathematics, vol. 9 , pp. 175–182.Carol R. Karp - 1962 - Journal of Symbolic Logic 27 (1):100-100.
Review: F. E. J. Linton, Injective Boolean $Sigma$-Algebras. [REVIEW]Adil Yaqub - 1972 - Journal of Symbolic Logic 37 (2):400-400.
Moderate families in Boolean algebras.Lutz Heindorf - 1992 - Annals of Pure and Applied Logic 57 (3):217-250.
Complete and atomic Tarski algebras.Sergio Arturo Celani - 2019 - Archive for Mathematical Logic 58 (7-8):899-914.
Some Boolean Algebras with Finitely Many Distinguished Ideals I.Regina Aragón - 1995 - Mathematical Logic Quarterly 41 (4):485-504.
Obligations and prohibitions in Talmudic deontic logic.M. Abraham, D. M. Gabbay & U. Schild - 2011 - Artificial Intelligence and Law 19 (2-3):117-148.
Atomless varieties.Yde Venema - 2003 - Journal of Symbolic Logic 68 (2):607-614.

Analytics

Added to PP
2016-06-30

Downloads
42 (#593,369)

6 months
6 (#723,794)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Basic Action Deontic Logic.Alessandro Giordani & Ilaria Canavotto - 2016 - In Olivier Roy, Allard Tamminga & Malte Willer, Deontic Logic and Normative Systems. London, UK: College Publications. pp. 80-92.
Deontic Logics based on Boolean Algebra.Pablo F. Castro & Piotr Kulicki - 2013 - In Robert Trypuz, Krister Segerberg on Logic of Actions. Dordrecht, Netherland: Springer Verlag.
A norm-giver meets deontic action logic.Robert Trypuz & Piotr Kulicki - 2011 - Logic and Logical Philosophy 20 (1-2):2011.
How to Build a Deontic Action Logic.Piotr Kulicki & Robert Trypuz - 2012 - In Michal Pelis & Vit Puncochar, The Logica Yearbook 2011. College Publications.

View all 12 citations / Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Minds and Machines.Joseph S. Ullian - 1971 - Journal of Symbolic Logic 36 (1):177-177.
An axiomatization of full computation tree logic.M. Reynolds - 2001 - Journal of Symbolic Logic 66 (3):1011-1057.

Add more references