The following pages link to First-order intensional logic (Q598308):
Displaying 31 items.
- Intuitionistic completeness of first-order logic (Q392280) (← links)
- Prefixed tableaus and nested sequents (Q409323) (← links)
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- First order expressivist logic (Q485622) (← links)
- Unifying quantified modal logic (Q812104) (← links)
- FOIL axiomatized (Q865042) (← links)
- Reflexive intermediate first-order logics (Q1049753) (← links)
- Idealization in applied first-order logic (Q1307866) (← links)
- First-order modal logic (Q1870904) (← 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)
- (Q2767044) (← links)
- Mereology in Engineering and Computer Science (Q3295807) (← links)
- On Height and Happiness (Q3299847) (← links)
- (Q3367332) (← 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)
- Adding Intensional Machinery to Hybrid Logic (Q3520240) (← links)
- First-order functional languages and intensional logic (Q4339019) (← links)
- (Q4342019) (← links)
- A Way of Making World Quantification Explicit (Q4823802) (← links)
- (Q4858033) (← links)
- The Rule of Existential Generalisation and Explicit Substitution (Q5066098) (← links)
- (Q5536236) (← links)
- Relating Z and first-order logic (Q5926770) (← links)
- Book review of: A. Giordani and J. Malinowski, Logic in high definition: trends in logical semantics (Q6089338) (← links)
- Ordered Fragments of First-Order Logic (Q6168480) (← links)
- First-order modal logic (Q6535436) (← links)
- Modal logics with non-rigid propositional designators (Q6562528) (← links)
- Quantified modal logics: one approach to rule (almost) them all! (Q6606836) (← links)
