One Way to Determine the Intervals in Hybrid Temporal Logic


E. F. Karavaev


This presentation discusses the opportunity of improvement of technical means of hybrid temporal logic through the introduction of time intervals. In the procedure of constructing intervals the author of the presentation follows ideas and development expressed and carried out by A.A. Markov in his article published in 1932. So the ‘Priorean paradigm’ of understanding of the logic (temporal qualification of judgments and the idea of hybrid logic) is complemented by a building of time metric based on the relation ‘earlier than’. It seems that the described improvement of the machinery of temporal logic allows, in particular, to perfect the approaches to the modelling of planning and strategic management. DOI: 10.21146/2074-1472-2017-23-1-48-56






Arrow, K.J. Social Choice and Individual Values. New York; London; Sydney: John Wiley and Sons, Inc., 1964. 124 pp.
Efron, R. “Conservation of temporal information by perceptual systems”, Percept Psychophys, 1973, vol. 14, pp. 518–530.
Grey Walter, W. The Living Brain. London: Pelican Books, 1963. 311 pp.
Kahneman, D. Thinking, fast and slow. New York.: Farrar, Straus and Giroux, 2011. 499 pp.
Karavaev, E.F. “On some logical principles in resolving of moral problems”, in: Ethics in Sciences. Workshop, 14–16 July, 1997 at Tuebingen. Reader: Statements/ Lectures. Tuebingen: Internatoinales Zenttrum, 1997, pp. 41–53.
Karavaev, E.F. “Logic and Moral Dilemmas”, in: The Proceedings of the Twentieth World Congress of Philosophy (Boston, 10–16 August, 1998) [, accessed on 01.06.2016].
Karavaev, E.F. “On temporal qualification of normative propositions”, in: Vos’mye Smirnovskie chteniya po logike [The 2th International Conference “Smirnov’s Readings”] (Moscow, May 1999). Moscow: IF RAS, 1999, pp. 111–114. (In Russian)
Karavaev, E.F. “A deontic logic with temporal qualification”, in: Time and history. Proceedings of the 28 International Ludwig Wittgenstein Symposium, ed. by Fr. Stadler, M. St_o ltzner. Frankfurt et el.: Ontos Verlag, 2006, pp. 459–467.
Karavaev, E.F. “Dopolnenie contseptsii ’ogranichennoy ratsional’nosti’ Saimona” [An addition of the Simon’s concept of ‘bounded rationality’], Vestnik Sankt-Petersburgskogo Gosudarstvennogo Universiteta [The Bulletin of the Saint-Petersburg State University], 2002, series 6, issue 3, pp. 33–37. (In Russian)
Karavaev, E.F. “Sredstva neclassicheskoy logiki dlya formalizatsii protsedur planirovania” [The means of non-classical logic for formalization of planning procedures], Vestnik Sankt-Petersburgskogo Gosudarstvennogo Universiteta [The Bulletin of the Saint-Petersburg State University], 2008, series 6, issue 1, pp. 87–94. (In Russian)
Karavaev, E.F. “Ob usovershenstvovannoy logicheskoy modeli planirovania na osnove eksperimental’nykh dannykh o «paradokse strategii»” [On improving logical model of planning on the basis of experimental data of a «paradox strategy»], Vestnik Sankt-Petersburgskogo Gosudarstvennogo Universiteta [The Bulletin of the Saint-Petersburg State University], 2009, series 6, issue 3, pp. 97–105. (In Russian)
Kotelnikov, V.A. “On the transmission capacity of the ‘ether’ and of cables in electrical communication” [O propusknoy sposobnosti efira i provoloki v elektrosvyazi], in: Materialy k I Vsesouznomu s’ezdu po voprosam tekhnicheskoy rekonstrukcii dela svyazi i razvitiya slabotochnoy promyshlennosti [Proceedibgs of the 1st All-Union Conference on Technological Reconstruction of the Communication and Low-Current Engineering]. Translation by C.C. Bissell and V.E. Katsnelson, Moscow, 1933, pp. 1–19.
Markoff A. “Uber die Ableitbarkeit der Weltmetrik aus der «Fruher Als» — Beziehung”, Physikalische Zeitschrift der Soviet Union. 1932, band 1, heft 3, ss. 387–406.
_hrstr_m, P., Hasle, Per F.V. Temporal Logic: from Ancient Ideas to Artificial Intelligence. Dordrecht, The Netherlands: Kluwer Academic Publ. Group, 1995. 414 pp.
Raynor, M. E. The Strategy Paradox: Why Committing to Success Leads to Failure (and What to do about it). New York: Doubleday Books, 2007. 320 pp.
Simon, H. The sciences of the artificial. Cambridge, Mass.: The MIT Press, 1969. 246 pp.
Simon, H. “Rational decision making in business organizations”, The American economic review. 1979, vol. 69, issue 4, pp. 493–513.
Stroud, J.M. “The fine structure of psychological time”, in: Annals of the New York Academy of Sciences. 1967, vol. 138. (Interdisciplinary Perspectives of Time), pp. 623–631; originally published as: Stroud, J.M. “The fine structure of psychological time”, Information theory in Psychology, ed. by H. Quastler. Chicago, Ill: Free Press. 1956, pp. 174–205.
Van Rullen, R., Koch, C. “Is perception discrete or continuous?”, Trends in Cognitive Sciences, 2003, Vol. 7, No. 5 (May), pp. 207–213.