Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Embedding and automating conditional logics in classical higher-order logic

Embedding and automating conditional logics in classical higher-order logic 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Annals of Mathematics and Artificial Intelligence Springer Journals

Embedding and automating conditional logics in classical higher-order logic

Loading next page...
 
/lp/springer-journals/embedding-and-automating-conditional-logics-in-classical-higher-order-Svgvmmy5Dv

References (29)

Publisher
Springer Journals
Copyright
Copyright © 2012 by Springer Science+Business Media B.V.
Subject
Computer Science; Artificial Intelligence (incl. Robotics); Mathematics, general; Computer Science, general; Statistical Physics, Dynamical Systems and Complexity
ISSN
1012-2443
eISSN
1573-7470
DOI
10.1007/s10472-012-9320-z
Publisher site
See Article on Publisher Site

Abstract

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.

Journal

Annals of Mathematics and Artificial IntelligenceSpringer Journals

Published: Sep 25, 2012

There are no references for this article.