Searching for "First-order intensional logic." – sorted by Relevance.
-
First-Order Intensional Logic
- First-Order Intensional Logic Melvin Fitting Dept. Mathematics and Computer Science Lehman College
- Cited by 5 (1 self) – Add To MetaCart
-
Formal and computational aspects of dependency grammar: History and development of DG
- approach, using a “rule-by-rule” translation (Bach) of a syntactic structure into a first-order
- Cited by 2 (0 self) – Add To MetaCart
-
A Formal, Yet Natural, Comprehensive Knowledge Representation
- language processing. EL is a first order, intensional logic that incorporates from situation semantics
- Cited by 4 (1 self) – Add To MetaCart

