A new modal language with the lambda operator

DOI10.1007/BF00401656zbMath0498.03010MaRDI QIDQ1171049

Ermanno Bencivenga, Peter W. Woodruff

Publication date: 1981

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

modal logicpossible worlds semanticsaxiomatic systemdefined relation for strict identitylambda operatorlogical predicate for existenceone category of free singular terms

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Cites Work

• Model theory for modal logic. I: The de re / de dicto distinction
• Unnamed Item

This page was built for publication: A new modal language with the lambda operator