Branching-Time Logic with Quantification over Branches: The Point of View of Modal Logic
Zanardo, Alberto
J. Symbolic Logic, Tome 61 (1996) no. 1, p. 1-39 / Harvested from Project Euclid
In Ockhamist branching-time logic [Prior 67], formulas are meant to be evaluated on a specified branch, or history, passing through the moment at hand. The linguistic counterpart of the manifoldness of future is a possibility operator which is read as `at some branch, or history (passing through the moment at hand)'. Both the bundled-trees semantics [Burgess 79] and the $\langle moment, history\rangle$ semantics [Thomason 84] for the possibility operator involve a quantification over sets of moments. The Ockhamist frames are (3-modal) Kripke structures in which this second-order quantification is represented by a first-order quantification. The aim of the present paper is to investigate the notions of modal definability, validity, and axiomatizability concerning 3-modal frames which can be viewed as generalizations of Ockhamist frames.
Publié le : 1996-03-14
Classification: 
@article{1183744924,
     author = {Zanardo, Alberto},
     title = {Branching-Time Logic with Quantification over Branches: The Point of View of Modal Logic},
     journal = {J. Symbolic Logic},
     volume = {61},
     number = {1},
     year = {1996},
     pages = { 1-39},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183744924}
}
Zanardo, Alberto. Branching-Time Logic with Quantification over Branches: The Point of View of Modal Logic. J. Symbolic Logic, Tome 61 (1996) no. 1, pp.  1-39. http://gdmltest.u-ga.fr/item/1183744924/