A new modal language with the lambda operator
From MaRDI portal
Publication:1171049
DOI10.1007/BF00401656zbMath0498.03010MaRDI QIDQ1171049
Ermanno Bencivenga, Peter W. Woodruff
Publication date: 1981
Published in: Studia Logica (Search for Journal in Brave)
modal logicpossible worlds semanticsaxiomatic systemdefined relation for strict identitylambda operatorlogical predicate for existenceone category of free singular terms
Cites Work