Quantified Multimodal Logics in Simple Type Theory

Details Quantified Multimodal Logics in Simple Type Theory Quantified Multimodal Logics in Simple Type Theory

2009-05-14

arxiv.org/abs/0905.2435v1

Computer Science

Artificial Intelligence

ii + 22 pages

Scientific paper

We present a straightforward embedding of quantified multimodal logic in simple type theory and prove its soundness and completeness. Modal operators are replaced by quantification over a type of possible worlds. We present simple experiments, using existing higher-order theorem provers, to demonstrate that the embedding allows automated proofs of statements in these logics, as well as meta properties of them.

Affiliated with

Also associated with

No associations

Rating

Quantified Multimodal Logics in Simple Type Theory 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 Multimodal Logics in Simple Type Theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Quantified Multimodal Logics in Simple Type Theory will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-523461