Graduate studies at Western
Journal of Symbolic Logic 61 (1):1-39 (1996)
|Abstract||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|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Gregory McColm (2004). Guarded Quantification in Least Fixed Point Logic. Journal of Logic, Language and Information 13 (1):61-110.
Andrew Bacon (forthcoming). Representing Counterparts. Australasian Journal of Logic.
Alberto Zanardo (2006). Moment/History Duality in Prior's Logics of Branching-Time. Synthese 150 (3):483 - 507.
Michela Sabbadin & Alberto Zanardo (2003). Topological Aspects of Branching-Time Semantics. Studia Logica 75 (3):271 - 286.
Yuri Gurevich & Saharon Shelah (1985). The Decision Problem for Branching Time Logic. Journal of Symbolic Logic 50 (3):668-681.
Mark Brown & Valentin Goranko (1999). An Extended Branching-Time Ockhamist Temporal Logic. Journal of Logic, Language and Information 8 (2):143-166.
Tapio Korte, Ari Maunu & Tuomo Aho (2009). Modal Logic From Kant to Possible Worlds Semantics. In Leila Haaparanta (ed.), The Development of Modern Logic. Oxford University Press.
Alberto Zanardo (1998). Undivided and Indistinguishable Histories in Branching-Time Logics. Journal of Logic, Language and Information 7 (3):297-315.
Roberto Ciuni & Alberto Zanardo (2010). Completeness of a Branching-Time Logic with Possible Choices. Studia Logica 96 (3):393-420.
Alberto Zanardo (2006). Quantification Over Sets of Possible Worlds in Branching-Time Semantics. Studia Logica 82 (3):379 - 400.
Added to index2009-01-28
Total downloads13 ( #95,639 of 739,406 )
Recent downloads (6 months)1 ( #61,680 of 739,406 )
How can I increase my downloads?