Constructing possible worlds*

DOI10.1111/j.1755-2567.1991.tb00541.xzbMath0838.03046OpenAlexW2166382380MaRDI QIDQ4861492

Aarne Ranta

Publication date: 6 June 1996

Published in: Theoria (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1755-2567.1991.tb00541.x

zbMATH Keywords

possible worlds semanticscontextsjudgementsituation semanticsintuitionistic account of possible worldsMartin-Löf's nonstandard extension of type theory

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

This page was built for publication: Constructing possible worlds*