Embedding and automating conditional logics in classical higher-order logic

Reference : Embedding and automating conditional logics in classical higher-order logic


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

Title :	Embedding and automating conditional logics in classical higher-order logic
Language :	English
Author, co-author :	Benzmuller, Christoph [Freie Universität Berlin, Berlin]
	Gabbay, Dov M. [King’s College London, London, UK > Department of Computer Science]
	Genovese, Valerio [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Rispoli, Daniele [University of Torino, Torino]
Publication date :	2012
Journal title :	Annals of Mathematics & Artificial Intelligence
Publisher :	Springer
Volume :	66
Issue/season :	1-4
Pages :	257-271
Peer reviewed :	Yes (verified by ORBi^lu)
ISSN :	1012-2443
Abstract :	[en] A sound and complete embedding of conditional logics into classical higher-order logic is presented. This embedding enables the application of off-the-shelf higher-order automated theorem provers and model finders for reasoning within and about conditional logics.
Permalink :	http://hdl.handle.net/10993/15851

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	1106.3685v3.pdf		Publisher postprint	214.57 kB	View/Open

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