Semantic Facts on Kripke Frames

Authors
Publication date 2013
Host editors
  • V. Punčochář
  • P. Švarný
Book title The Logica Yearbook 2012
ISBN
  • 9781848901100
Event Logica 2012
Pages (from-to) 101-112
Publisher College Publications
Organisations
  • Faculty of Humanities (FGw)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
Abstract This paper addresses the problem of how to represent semantic facts in possible worlds semantics. To this aim we associate a valuation function to every world in a Kripke frame that specifies the language of that world. The result is a two-dimensional semantics for which we present a complete axiomatization in a logical language that is based on standard modal logic. Lastly, we sketch possible philosophical applications of the framework.
Document type Conference contribution
Language English
Published at
Other links
Permalink to this page
Back