Named Models in Coalgebraic Hybrid Logic

Details Named Models in Coalgebraic Hybrid Logic Named Models in Coalgebraic Hybrid Logic

2010-01-05

arxiv.org/abs/1001.0735v2

Computer Science

Logic in Computer Science

Scientific paper

Hybrid logic extends modal logic with support for reasoning about individual states, designated by so-called nominals. We study hybrid logic in the broad context of coalgebraic semantics, where Kripke frames are replaced with coalgebras for a given functor, thus covering a wide range of reasoning principles including, e.g., probabilistic, graded, default, or coalitional operators. Specifically, we establish generic criteria for a given coalgebraic hybrid logic to admit named canonical models, with ensuing completeness proofs for pure extensions on the one hand, and for an extended hybrid language with local binding on the other. We instantiate our framework with a number of examples. Notably, we prove completeness of graded hybrid logic with local binding.

Affiliated with

Also associated with

No associations

Rating

Named Models in Coalgebraic Hybrid Logic 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 Named Models in Coalgebraic Hybrid Logic, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Named Models in Coalgebraic Hybrid Logic will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-540620