A First Order Modal Logic and its Sheaf Models
by
Barnaby P. Hilken
,
David E. Rydeheard
BibTeX
@MISC{Hilken_afirst,
author = {Barnaby P. Hilken and David E. Rydeheard},
title = {A First Order Modal Logic and its Sheaf Models},
year = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract: We present a new way of formulating first order modal logic which circumvents the usual difficulties associated with variables changing their reference on moving between states. This formulation allows a very general notion of model (sheaf models). The key idea is the introduction of syntax for describing relations between individuals in related states. This adds an extra degree of expressiveness to the logic, and also appears to provide a means of describing the dynamic behaviour of computational systems in a way somewhat different from traditional program logics. 1
