The following pages link to (Q3309807):
Displayed 22 items.
- CIFOL: case-intensional first order logic. I: Toward a theory of sorts (Q484112) (← links)
- BH-CIFOL: case-intensional first order logic. II: Branching histories (Q484180) (← links)
- A fixed point theorem for the weak Kleene valuation scheme (Q795819) (← links)
- A unifying semantics for time and events (Q814548) (← links)
- Thisness and vagueness (Q1054713) (← links)
- Interpreting network formalisms (Q1056560) (← links)
- An explication of reasoning in multiple inheritance systems through non- monotonic Horn clause logic (Q1193840) (← links)
- Functoriality and grammatical role in syllogisms (Q1333307) (← links)
- In the realm of agents (Q1353843) (← links)
- Modeling unicorns and dead cats: applying Bressan's \(\mathrm{ML}^\nu\) to the necessary properties of non-existent objects (Q1702980) (← links)
- The hooded man (Q1863961) (← links)
- A modal sortal logic (Q1876083) (← links)
- On Gupta's book ``The logic of common nouns'''' (Q2366526) (← links)
- Domains of Sciences, Universes of Discourse and Omega Arguments (Q2757989) (← links)
- Frames as Records (Q2835041) (← links)
- Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions (Q2963970) (← links)
- Bare Nouns in Predicate Position in French (Q3013020) (← links)
- Logical, Ontological and Cognitive Aspects of Object Types and Cross-World Identity with Applications to the Theory of Conceptual Spaces (Q3460228) (← links)
- The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper (Q4611683) (← links)
- The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper (Q4914192) (← links)
- Aristotle's Syllogistic and Core Logic (Q4983351) (← links)
- EXTERNALISM, INTERNALISM, AND LOGICAL TRUTH (Q5323792) (← links)