Hyperintensions
From MaRDI portal
Publication:5385204
DOI10.1093/LOGCOM/EXM003zbMath1138.03026OpenAlexW4243436902MaRDI QIDQ5385204
Publication date: 5 May 2008
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/exm003
natural language semanticsgranularityhigher-order logic with definable subtypesnatural-language entailment
Related Items (12)
On Stalnaker's simple theory of propositions ⋮ HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Some remarks on semantics and expressiveness of the sentential calculus with identity ⋮ A Computable Solution to Partee’s Temperature Puzzle ⋮ Paradoxes and the limits of theorizing about propositional attitudes ⋮ When are different type-logical semantic definitions defining equivalent meanings? ⋮ Covert Movement in Logical Grammar ⋮ Agnostic hyperintensional semantics ⋮ Type-theoretic logic with an operational account of intensionality ⋮ Constructive belief reports ⋮ A higher-order theory of presupposition ⋮ Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity
This page was built for publication: Hyperintensions
