First-order modal logic
Meaning and Use of Indefinite Expressions
Journal of Logic, Language and Information
A dynamic semantics of modal subordination
JSAI'05 Proceedings of the 2005 international conference on New Frontiers in Artificial Intelligence
Hi-index | 0.00 |
This paper will propose a new version of Dynamic Modal Predicate Logic (DMPL) to treat dynamics of intentional identity [1] and other similar notions such as weak intentional identity and multiple intentional identity by revising the DMPL of modal subordination [2] by adding a kind of counterpart relation. The revised dynamic semantics of DMPL is much simpler than Edelberg's semantics [3] of intentional identity and can treat weak intentional identity and multiple intentional identity which have not been treated by most semantics of intentional identity as well as Edelberg's semantics.