Transparent quantification into hyperintensional objectual attitudes
type: Item
instance of: scholarly article
title: Transparent quantification into hyperintensional objectual attitudes
zbMATH Open document ID: 1357.03062
author: Marie Duží
author: Bjørn Jespersen
published in: Synthese
publication date: 2017-03-08T00:00:00Z
Mathematics Subject Classification ID: 03B60
Mathematics Subject Classification ID: 03B65
Mathematics Subject Classification ID: 03A05
zbMATH DE Number: 6693081
zbMATH Keywords: hyperintensional context
zbMATH Keywords: quantifying-in
zbMATH Keywords: non-propositional attitude
zbMATH Keywords: objectual attitude
zbMATH Keywords: extensional logic of hyperintensions
zbMATH Keywords: structured meaning
zbMATH Keywords: ramified type hierarchy
zbMATH Keywords: transparent intensional logic
MaRDI profile type: Publication
full work available at URL: s11229-014-0578-z
OpenAlex ID: W2017555349
cites work: Q4527397
cites work: Q5791196
cites work: The Call-by-Need Lambda Calculus, Revisited
cites work: Q3235339
cites work: A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)
cites work: Quantifiers and propositional attitudes: Quine revisited
cites work: The paradox of inference and the non-triviality of analytic information
cites work: Q4925867
cites work: Procedural isomorphism, analytic information and -conversion by value
cites work: Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
cites work: Rules of existential quantification into ``intensional contexts''
cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus
cites work: Q3269129
cites work: Indiscernibility of identicals
cites work: Q3992728
DOI: 10.1007/S11229-014-0578-Z
description: scientific article; zbMATH DE number 6693081