scientific article; zbMATH DE number 3190337
From MaRDI portal
Publication:5726696
zbMath0117.01302MaRDI QIDQ5726696
Publication date: 1963
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (42)
One hundred years of semantic paradox ⋮ Did Descartes make a diagonal argument? ⋮ Unwinding modal paradoxes on digraphs ⋮ Non-classical metatheory for non-classical logics ⋮ An axiomatic approach to self-referential truth ⋮ Paraconsistent logics? ⋮ Languages with self-reference. II: Knowledge, belief, and modality ⋮ Explanatory diagnoses and their characterization by circumscription ⋮ The paradox of the knower revisited ⋮ The logic of Quinean revisability ⋮ Reflections on Orlov ⋮ Some limitations to the psychological orientation in semantic theory ⋮ Definability and commonsense reasoning ⋮ Solutions to the knower paradox in the light of Haack's criteria ⋮ Transductions in arithmetic ⋮ Conceptual engineering for truth: aletheic properties and new aletheic concepts ⋮ A logic for epistemic two-dimensional semantics ⋮ Variations on a Montagovian theme ⋮ A Theory of Propositions ⋮ Montague's paradox, informal provability, and explicit modal logic ⋮ A logic-based model of intention formation and action for multi-agent subcontracting ⋮ Nonmonotonicity and Knowability: As Knowable as Possible ⋮ Montague's theorem and modal logic ⋮ Montagovian paradoxes and hyperintensional content ⋮ An intensional epistemic logic ⋮ Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations ⋮ A Grim semantics for logics of belief ⋮ No future ⋮ Principles for object-linguistic consequence: from logical to irreflexive ⋮ Paradoxes of interaction? ⋮ The theory of empirical sequences ⋮ Calculating self-referential statements. I: Explicit calculations ⋮ Possible-worlds semantics for modal notions conceived as predicates ⋮ Truthmaker maximalism and the truthmaker paradox ⋮ On the existence of a modal antinomy ⋮ Epistemic logic, monotonicity, and the Halbach-Welch rapprochement strategy ⋮ All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument ⋮ Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis ⋮ Quantified Quinean \(S5\) ⋮ Operators in the paradox of the knower ⋮ Multilanguage hierarchical logics, or: How we can do without modal logics ⋮ Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!)
This page was built for publication: