Transparent quantification into hyperpropositional contexts \textit{de re}

MaRDI QIDQ4925867zbMATH OpenFDO

Authors Marie Duží, Bjørn Jespersen

Publication date 12 June 2013

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Combinatory logic and lambda calculus (03B40) Other nonclassical logic (03B60)

Recommendations

• Transparent quantification into hyperintensional contexts
• Transparent quantification into hyperintensional objectual attitudes
• Extensional Logic of Hyperintensions
• How to validly quantify into hyperintensional nonpropositional attitudes
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic

Cited in

(7)

• Rules of existential quantification into ``intensional contexts
• A new logic of technical malfunction
• Qualifying quantifying-in
• Transparent quantification into hyperintensional contexts
• Transparent quantification into hyperintensional objectual attitudes
• How to validly quantify into hyperintensional nonpropositional attitudes
• Substitution inconsistencies in transparent intensional logic

This page was built for publication: Transparent quantification into hyperpropositional contexts \textit{de re}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4925867)