Constructing possible worlds*

DOI10.1111/J.1755-2567.1991.TB00541.XMaRDI QIDQ4861492zbMATH OpenOpenAlexFDO

Authors 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

judgementpossible worlds semanticssituation semanticscontextsintuitionistic account of possible worldsMartin-Löf's nonstandard extension of type theory

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Recommendations

• A constructive approach to state description semantics
• What is the world of mathematics?
• From modal discourse to possible worlds
• La théorie intuitionniste des types : sémantique des preuves et théorie des constructions
• Intensional models for the theory of types

Cited in

(5)

• A Computational Approach to an Alternative Working Environment for the Constructible Universe
• Impossible worlds: A modest approach
• Possible worlds versioning
• scientific article; zbMATH DE number 4166941 (Why is no real title available?)
• Partially playful universes

This page was built for publication: Constructing possible worlds*

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