The following pages link to A manual of intensional logic. (Q3992551):
Displaying 13 items.
- First-order intensional logic (Q598308) (← links)
- Under Carnap's lamp: flat pre-semantics (Q813070) (← links)
- Quantified temporal alethic boulesic doxastic logic (Q828771) (← links)
- Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic (Q967450) (← links)
- Partially interpreted relations and partially interpreted quantifiers (Q1277330) (← links)
- A functional logic for higher level reasoning about computation (Q1318281) (← links)
- Directions in generalized quantifier theory (Q1908858) (← links)
- The logic of intentional objects. A Meinongian version of classical logic (Q1972254) (← links)
- Mereology in Engineering and Computer Science (Q3295807) (← links)
- Intensional identities (Q3977030) (← links)
- A small reflection principle for bounded arithmetic (Q4314671) (← links)
- CHOICE-FREE STONE DUALITY (Q5107222) (← links)
- Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness (Q5937806) (← links)