3 search results - page 1 / 1 » Existential rigidity and many modalities in order-sorted log... |
KBS
2011
12 years 11 months ago
2011
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 (c...
CADE
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. We present an abstract view of existential variables in a dependently typed lambda-calculus based on modal type theory. This allows us to justify optimizations to pattern...
APAL
2004
13 years 4 months ago
2004
First-order modal logic is very much under current development, with many different semantics proposed. The use of rigid objects goes back to Saul Kripke. More recently several se...