The following pages link to (Q5726696):
Displaying 43 items.
- One hundred years of semantic paradox (Q266649) (← links)
- The paradox of the knower revisited (Q392283) (← links)
- The logic of Quinean revisability (Q408365) (← links)
- Montague's theorem and modal logic (Q488358) (← links)
- Montagovian paradoxes and hyperintensional content (Q519857) (← links)
- Some limitations to the psychological orientation in semantic theory (Q626497) (← links)
- An intensional epistemic logic (Q687156) (← links)
- Principles for object-linguistic consequence: from logical to irreflexive (Q722029) (← links)
- Unwinding modal paradoxes on digraphs (Q830367) (← links)
- Transductions in arithmetic (Q904144) (← links)
- Languages with self-reference. I: Foundations (or: We can have everything in first-order logic!) (Q1068068) (← links)
- An axiomatic approach to self-referential truth (Q1096626) (← links)
- Languages with self-reference. II: Knowledge, belief, and modality (Q1101099) (← links)
- The theory of empirical sequences (Q1257482) (← links)
- Calculating self-referential statements. I: Explicit calculations (Q1259545) (← links)
- Quantified Quinean \(S5\) (Q1310623) (← links)
- Operators in the paradox of the knower (Q1313377) (← links)
- Multilanguage hierarchical logics, or: How we can do without modal logics (Q1313954) (← links)
- Definability and commonsense reasoning (Q1402721) (← links)
- Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis (Q1591373) (← links)
- Arithmetical soundness and completeness for \(\Sigma_{2}\) numerations (Q1756596) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- Paraconsistent logics? (Q1896790) (← links)
- Explanatory diagnoses and their characterization by circumscription (Q1924797) (← links)
- Truthmaker maximalism and the truthmaker paradox (Q2054151) (← links)
- Did Descartes make a diagonal argument? (Q2121477) (← links)
- Epistemic logic, monotonicity, and the Halbach-Welch rapprochement strategy (Q2323637) (← links)
- Non-classical metatheory for non-classical logics (Q2377187) (← links)
- A logic for epistemic two-dimensional semantics (Q2441758) (← links)
- Variations on a Montagovian theme (Q2443347) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- A logic-based model of intention formation and action for multi-agent subcontracting (Q2457680) (← links)
- A Grim semantics for logics of belief (Q2481242) (← links)
- Paradoxes of interaction? (Q2516581) (← links)
- On the existence of a modal antinomy (Q2554687) (← links)
- Conceptual engineering for truth: aletheic properties and new aletheic concepts (Q2693135) (← links)
- A Theory of Propositions (Q2987758) (← links)
- All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument (Q3121970) (← links)
- Nonmonotonicity and Knowability: As Knowable as Possible (Q3299833) (← links)
- No future (Q5935795) (← links)
- Reflections on Orlov (Q6098652) (← links)
- Solutions to the knower paradox in the light of Haack's criteria (Q6166128) (← links)
- The structure of paradoxes in a logic of sentential operators (Q6655116) (← links)
