Indexed flows in temporal x modal logic with functional semantics

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn 2002-January, Issue , 2002, Pages 146-153

  Burrieza, A ^a   De Guzman I P ^a   Munoz E ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Application software; Boolean functions; Clocks; Communications technology; Computer applications; Logic; Particle measurements; Time measurement

Indexed keywords

APPLICATION PROGRAMS; BOOLEAN FUNCTIONS; CLOCKS; COMPUTER APPLICATIONS; FORMAL LOGIC; SEMANTICS; TIME MEASUREMENT;

ACCESSIBILITY FUNCTION; COMMUNICATIONS TECHNOLOGY; COMPLETENESS THEOREMS; COMPUTATIONAL APPLICATIONS; DECREASING FUNCTIONS; FUNCTIONAL SEMANTICS; LOGIC; PARTICLE MEASUREMENT;

COMPUTATION THEORY;

EID: 33751379972     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.2002.1027488     Document Type: Conference Paper

References (13)

1. Aqvist, L: The logic of historical necessity as founded on two-dimensional modal tense logic, Journal of Philosophical Logic, 28: 329-369, 1999.
2. 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 University Press, Oxford, 1996.
3. 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, Kluwer Academic Publishers, Dordrecht, 1990.
4. 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. Reidel, Dorchecht, 1984.
5. Burrieza, A. and P. de Guzmán, I: A Temporal x Modal Approach to the Definability of Properties of Functions, FroCos'2002.
6. Chellas, B: Time and Modality in the Logic of Agency, Studia Logica, 51: 485-517, 1992.
7. Kuschera, V.F: Causation, Journal of Philosophical Logic, 22: 563-88, 1993.
8. Reynolds, M: A decidable temporal logic of parallelism, Notre Dame Journal of Formal Logic, 38: 419-36, 1997.
9. 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. Reidel, Dordrecht, 1984.
10. Thomason, R.H. and Gupta, A: A theory of conditionals in the context of branching time, in Ifs: Conditionals, Belief, Decision, Chance and Time, edited by W. Harper, R. Stalnaker, and G. Pearce, pp. 299-322. Reidel, Dordrecht, 1981.
11. 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-40. Reidel, Dordrecht, 1981.
12. 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-64, 1986.
13. 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.