scientific article

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

existence quantified modal logic necessity essentialism possible-worlds-semantics common nouns Davidson's theory of truth trans-world-identity

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02)

Related Items

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