By Krister Segerberg
Read or Download A Concise Introduction to Propositional Dynamic Logic PDF
Similar introduction books
In monetary danger Taking, dealer and psychologist Mike Elvin explores the complicated dating among human behaviour styles and the markets, delivering the reader a context during which to evaluate their very own strengths and weaknesses as traders. The e-book bargains an apposite and simple approach of abilities improvement within the kind of competences and potential that may be utilized wherever alongside the continuum from informal investor to full-time day dealer.
- Hypertext Hands-On!: An Introduction to a New Way of Organizing and Accessing Information
- Contingent Capital: Short-term Investors and the Evolution of Corporate Governance in France and Germany
- Investment Psychology Explained
- AJANTA THE COLOUR AND MONOCHROME REPRODUCTIONS OF THE AJANTA FRESCOES BASED ON PHOTOGRAPHY. Vol 1
- Dreambooks in Byzantium : six oneirocritica in translation, with commentary and introduction
- Nombres premiers: applications
Extra info for A Concise Introduction to Propositional Dynamic Logic
Bemnning 1959 he published several papers in which he introduced what we"'now refer to as I(ripke semantics or possible-worlds-semantics. Historians interested in the development of modal logic will have to assess the relative importance of Carnap's and Prior's work as we,ll as the work of Stig Kanger and laakko Hintikka. who published, related Ideas . independently of Kripke and in fact somewhat earlier than he; there IS also the famous Jonson & Tarski paper from 1951. Neveltheless, there is no doubt that it was Kripke 's papers that triggered the explosive growth of modal logic of the following two decades.
Textbooks CHELLAs, BRIAN F. Modallogic: an introduction. Cambridge and New York, NY: Cambridge Universiy Press, 1980. GOlDBLATT, ROB. Logics o/time and computation. CSLI Lecture Notes, vol. 7. Stanford University, 1987. ) HUGHES, G. E. and CREsSWElL, M. J. ,4 companion to modal logic. London: Methuen, 1984. 64 l1~fv[MON, E. J. llogic. (fhe "Lemmon Notes") American Philosophical Quarterly, monograph series, vol. 11. Oxford: Basil Blackwell, 1977. ) 2. Survey articles BULL, ROBERT and SEGERBERG, KRISTER.
Original articles FISCHER, MICHAEL J. and LADNER, RICHARD E. " Journal of computer and system sciences, vol. 18 (1979), pp. 194-21 L KaZEN, DEXTER and PARIKH. Romr. " l1teoretical computer science, vol. 14 (1981), pp. 113-118. PARIKH, ROIDT. " In Mathematical foundations of computer science 197B, pp. 403415. Lecture Notes in Computer Science, voL 64. SpringerVerlag. 1978. " In L E. Hahn and P. P (cds), The philosophy of Georg llenrik von Wright, pp. 603-63 . The Library of Living Philosophers, vol.