A Theory of Hierarchical Consequence and Conditionals

Reference : A Theory of Hierarchical Consequence and Conditionals


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/15874

Title :	A Theory of Hierarchical Consequence and Conditionals
Language :	English
Author, co-author :	Gabbay, Dov M. [King’s College London, Department of Computer Science, London, UK; Bar-Ilan University, Ramat-Gan, Israel]
	Schlechta, Karl [> >]
Publication date :	2010
Journal title :	Journal of Logic, Language and Information
Publisher :	Springer Netherlands
Volume :	19
Issue/season :	1
Pages :	3–32
Peer reviewed :	Yes
ISSN :	0925-8531
e-ISSN :	1572-9583
Keywords :	[en] Deontic logic ; Contrary-to-duties ; Preferential structures
Abstract :	[en] We introduce A-ranked preferential structures and combine them with an accessibility relation. A-ranked preferential structures are intermediate between sim- ple preferential structures and ranked structures. The additional accessibility relation allows us to consider only parts of the overall A-ranked structure. This framework allows us to formalize contrary to duty obligations, and other pictures where we have a hierarchy of situations, and maybe not all are accessible to all possible worlds. Representation results are proved.
Permalink :	http://hdl.handle.net/10993/15874
DOI :	10.1007/s10849-009-9096-7

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	art%3A10.1007%2Fs10849-009-9096-7.pdf		Publisher postprint	1.04 MB	View/Open

All documents in ORBi^lu are protected by a user license.