Pages that link to "Item:Q2421517"

The following pages link to HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) (Q2421517):

Displayed 19 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)