Undivided and indistinguishable histories in branching-time logics

Journal of Logic, Language and Information

Volumn 7, Issue 3, 1998, Pages 297-315

  Zanardo, Alberto ^a  

^a UNIVERSITY OF PADOVA   (Italy)

Author keywords

Branching time; Semantics; Temporal logic

Indexed keywords

EID: 54649085048     PISSN: 09258531     EISSN: 15729583     Source Type: Journal    
DOI: 10.1023/A:1008259000544     Document Type: Article

References (14)

1. Belnap, N., 1991, "Before refraining: Concepts for agency," Erkenntnis 34, 137-169.
2. Belnap, N., 1992, "Branching space-time," Synthese 92, 385-434.
3. Belnap, N., 1996, "Agents in branching time," pp. 239-271 in Logic and Reality: Essays in Pure and Applied Logic, in Memory of Arthur Prior, B.J. Copeland, ed., Oxford: Oxford University Press.
4. Belnap, N. and Perloff, M., 1990, "Seeing to it that: A canonical form of agentives," pp. 175-199 in Knowledge Representation and Defeasible Reasonings, H.E. Kyburg, R.P. Loui, and G.N. Carlson, eds., Dordrecht: Kluwer Academic Publishers.
5. Burgess, J., 1978, "The unreal future," Theoria 44, 157-179.
6. Burgess, J., 1979, "Logic and time," Journal of Symbolic Logic 44, 556-582.
7. Burgess, J., 1980, "Decidability for branching time," Studia Logica 39, 203-218.
8. Gabbay, D., Hodkinson, I., and Reynolds, M., 1994, Temporal Logic: Mathematical Foundation and Computational Aspects, Vol. I, Oxford: Oxford University Press.
9. Horty, J. and Belnap, N., 1995, "The deliberative stit: A study of action, omission, ability, and obligation," Journal of Philosophical Logic 24(6), 583-644.
10. von Kutschera, F., 1993, "Causation," J. of Philosophical Logic 22, 563-588.
11. Øhrstrøm, P. and Hasle, P.F.V., 1995, Temporal Logic: From Ancient Ideas to Artificial Intelligence, Studies in Linguistic and Philosophy, Vol. 57, Dordrecht: Reidel.
12. Prior, A., 1967, Past, Present and Future, Oxford: Clarendon Press.
13. Thomason, R., 1984, "Combination of tense and modality," pp. 135-165 in The Handbook of Philosophical Logic, D. Gabbay and F. Guenthner, eds., Dordrecht: Reidel.
14. Zanardo, A., 1996, "Branching-time logic with quantification over branches: The point of view of modal logic," Journal of Symbolic Logic 61(1), 1-39.