Sciweavers

Share
KBS
2011

Existential rigidity and many modalities in order-sorted logic

9 years 1 months ago
Existential rigidity and many modalities in order-sorted logic
Order-sorted logic is a useful tool for knowledge representation and reasoning because it enables representation of sorted terms and formulas along with partially ordered sorts (called sort-hierarchy). However, this logic cannot represent more complex sorted expressions when they are true in any possible world (as rigid) or some possible worlds (as modality) such as time, space, belief, or situation. In this study, we extend order-sorted logic by introducing existential rigidity and many modalities. In the extended logic, sorted modal formulas are interpreted over the Cartesian product of sets of possible worlds. We present a new labeled tableau calculus to check the (un)satisfiability and validity of sorted modal formulas.
Ken Kaneiwa
Added 14 May 2011
Updated 14 May 2011
Type Journal
Year 2011
Where KBS
Authors Ken Kaneiwa
Comments (0)
books