Twenty-five basic theorems in situation and world theory
From MaRDI portal
Cites work
- A completeness theorem in modal logic
- scientific article; zbMATH DE number 42737 (Why is no real title available?)
- scientific article; zbMATH DE number 1032006 (Why is no real title available?)
- scientific article; zbMATH DE number 3450164 (Why is no real title available?)
- scientific article; zbMATH DE number 1442964 (Why is no real title available?)
- scientific article; zbMATH DE number 3212004 (Why is no real title available?)
- scientific article; zbMATH DE number 3086346 (Why is no real title available?)
- Meinongian Theories and a Russellian Paradox
- Possible Worlds
- The true modal logic
- Two reduced-form approaches to the derivation of the maximum-likelihood estimators for simultaneous-equation systems
Cited in
(14)- A classically-based theory of impossible worlds
- Frege, Boolos, and logical objects
- Human rationality challenges universal logic
- Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory
- The problem of cross-world predication
- Automating Leibniz's theory of concepts
- The fundamental theorem of world theory
- Worlds and propositions set free
- Deriving and Validating Kripkean Claims Using the Theory of Abstract Objects
- Setting the facts straight
- Typed object theory
- Gödel's God in Isabelle/HOL
- Exploring Simplified Variants of Gödel’s Ontological Argument in Isabelle/HOL
- Steps toward a computational metaphysics
This page was built for publication: Twenty-five basic theorems in situation and world theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2366527)
