A functional approach for temporal × modal logics

Acta Informatica

Volumn 39, Issue 2, 2003, Pages 71-96

  Burrieza, Alfredo ^a   De Guzmán, Inma P ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

PARTIAL FUNCTIONS;

ALGEBRA; COMPUTATIONAL METHODS; FUNCTIONS; MODAL ANALYSIS; SEMANTICS;

INFORMATION SCIENCE;

EID: 0037331908     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00236-002-0098-z     Document Type: Article

References (12)

1. [Belnap(1996)] Belnap, N.: Agents in branching time, In Logic and Reality: Essays in Pure and Applied Logic, in Memory of Arthur Prior, edited by B. J. Copeland, pp. 239-71 Oxford: Oxford University Press 1996
2. [BelPer(1990)] Belnap, N. and Perloff, M.; Seeing to it that: A canonical form of agentives, In Knowledge Representation and Defeasible Reasonings, ed. by H.E. Kyburg, R.P. Loui, and G.N. Carlson, Dordrecht: Kluwer Academic Publishers 1990
3. [Burgess(1984)] Burgess.J.P.: Basic Tense Logic, In Handbook of Philosophical Logic, vol 2: Extensions of Classical Logic, edited by D. Gabbay and F. Guenthner, pp. 89-133. Dordrecht: Reidel 1984
4. [Chellas (1992)] Chellas, B.: Time and Modality in the Logic of Agency, Studia Logica, 51: 485-517, 1992
5. [Kuschera(1993)] Kuschera, F.v.: Causation, Journal of Philosophical Logic 22: 563-88, 1993
6. [Reynolds(1997)] Reynolds, M.: A decidable temporal logic of parallelism, Notre Dame Journal of Formal Logic 38: 419-436, 1997
7. [Thomason(1984)] Thomason, R.H.: Combinations of tense and modality, In Handbook of Philosophical Logic, Vol.2: Extensions of Classical Logic, edited by D. Gabbay and F, Guenthner, pp. 135-65. Dordrecht: Reidel 1984
8. [ThomasonGupta(1981)] Thomason, R.H., Gupta, A.: A theory of conditionals in the context of branching time, in Ifs: Conditionals, Belief, Decision, Chance and Time, editedm by W. Harper, R. Stalnaker, and G. Pearce, pp. 299-322. Dordrecht: Reidel 1981
9. [Van Fraassen(1981)] Van Fraassen, B.: A temporal framework for conditional and chance, In Ifs: Conditionals, Belief, Decision, Chance and Time, edited by W. Harper, R. Stalnaker, and G. Pearce, pp. 323-340. Dordrecht: Reidel 1981
10. [Wölfl(1999)] Ẅlfl, S.: Combinations of Tense and Modality for Predicate Logic, Journal of Philosophical Logic 28: 371-398, 1999
11. [Zanardo(l986)] Zanardo, A.:On the Characterizability of the frames for the Unpreventability of the Present and the Past, Notre Dame Journal of Formal Logic 27: 556-564, 1986
12. [Zanardo(1996)] Zanardo, A.: Branching-time logic with quantification over branches: the point of view of modal logic, The Journal of Symbolic Logic 61: 1-39, 1996