Quantified Conditional Logics are Fragments of HOL

Details Quantified Conditional Logics are Fragments of HOL Quantified Conditional Logics are Fragments of HOL

2012-04-26

arxiv.org/abs/1204.5920v1

Computer Science

Artificial Intelligence

This work has been presented at the conference on Non-classical Modal and Predicate Logics 2011, Guangzhou (Canton), China, 5-

Scientific paper

A semantic embedding of (constant domain) quantified conditional logic in
classical higher-order logic is presented.

Affiliated with

Also associated with

No associations

Rating

Quantified Conditional Logics are Fragments of HOL does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Quantified Conditional Logics are Fragments of HOL, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Quantified Conditional Logics are Fragments of HOL will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-314435