Intensional logic
Top View
- Towards a Unified Theory of Intensional Logic Programming
- Chapter Five: Intensional Type Logic
- Lecture 13. Intensionality, Referential Opacity, Modality, Possible Worlds
- Review of Type-Logical Semantics∗
- Intensional Logic — Beyond First Order
- Extensional Vs. Intensional Logic
- Intensional Logics
- Intensional Entities George Bealer
- Intensional Logic and the Metaphysics of Intentionality
- Formal Semantics and Pragmatics
- Appendix to Lecture 7: Montague's Intensional Logic, with Lambdas And
- If Structured Propositions Are Logical Procedures Then How Are Procedures Individuated?
- Predicativity, the Russell-Myhill Paradox, and Church’S Intensional Logic
- The Intertwining Influences of Logic, Philosophy, and Linguistics in the Development of Formal Semantics And
- First-Order Intensional Logic
- First-Order Logic
- Roles, Rigidity, and Quantification in Epistemic Logic
- What Kind of Intensional Logic Do We Really Want/Need?