The following pages link to First-order intensional logic (Q598308):
Displaying 13 items.
- Prefixed tableaus and nested sequents (Q409323) (← links)
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- Unifying quantified modal logic (Q812104) (← links)
- FOIL axiomatized (Q865042) (← links)
- Partly free semantics for some Anderson-like ontological proofs (Q2255183) (← links)
- Chromar, a language of parameterised agents (Q2422011) (← links)
- Counterpart theories for everyone (Q2690141) (← links)
- Mereology in Engineering and Computer Science (Q3295807) (← links)
- On Height and Happiness (Q3299847) (← links)
- 2005–06 Winter Meeting of the Association for Symbolic Logic (Q3412464) (← links)
- Translating a Counterpart Theory into a Quantified Modal Language with Descriptors (Q3457731) (← links)
- The Rule of Existential Generalisation and Explicit Substitution (Q5066098) (← links)
- Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics (Q6089338) (← links)
