Pages that link to "Item:Q2421517"
From MaRDI portal
The following pages link to HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517):
Displaying 25 items.
- Routley star and hyperintensionality (Q830371) (← links)
- A more unified approach to free logics (Q830379) (← links)
- Meaning-preserving translations of non-classical logics into classical logic: between pluralism and monism (Q2078975) (← links)
- Paraconsistent Gödel modal logic (Q2104534) (← links)
- Sequent calculi for the propositional logic of HYPE (Q2144182) (← links)
- A semantics for hyperintensional belief revision based on information bases (Q2144184) (← links)
- Logics of synonymy (Q2194116) (← links)
- Hyperintensional logics for everyone (Q2693110) (← links)
- THE LOGIC OF INFORMATION IN STATE SPACES (Q5001555) (← links)
- Toward a generalization of the logic of grounding (Q5004613) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)
- Towards a Logic of Value and Disagreement via Imprecise Measures (Q6042997) (← links)
- Qualitative reasoning in a two-layered framework (Q6099380) (← links)
- THE LOGIC OF HYPERLOGIC. PART A: FOUNDATIONS (Q6131233) (← links)
- Conjunctive paraconsistency (Q6147152) (← links)
- PROOF SYSTEMS FOR EXACT ENTAILMENT (Q6148475) (← links)
- Some remarks on semantics and expressiveness of the sentential calculus with identity (Q6169324) (← links)
- A modal loosely guarded fragment of second-order propositional modal logic (Q6169327) (← links)
- Logic talk (Q6180153) (← links)
- A hyperintensional logic of non-prime evidence (Q6544540) (← links)
- Modal logics with non-rigid propositional designators (Q6562528) (← links)
- Hyperintensionality in relevant logics (Q6562548) (← links)
- A truthmaker-based epistemic logic (Q6606841) (← links)
- On Ivlev's semantics for modality (Q6623952) (← links)
- Routley star in information-based semantics (Q6659916) (← links)
