A Partial Account of Presupposition Projection
Journal of Logic, Language and Information
A semantical perspective on verification of knowledge
Data & Knowledge Engineering
Structural Operational Semantics with First-Order Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Ex contradictione nihil sequitur
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
From the Publisher:Despite many applications, a number of mathematically intriguing questions associated with the concept of semantical partiality have received only very limited attention. This volume is a study in spatial model theory, the theory of partially defined models.