A Concise Introduction to Propositional Dynamic Logic by Krister Segerberg

By Krister Segerberg

Show description

Read or Download A Concise Introduction to Propositional Dynamic Logic PDF

Similar introduction books

Financial risk taking: an introduction to the psychology of trading and behavioural finance

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.

Extra info for A Concise Introduction to Propositional Dynamic Logic

Sample text

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.

Download PDF sample

Rated 4.40 of 5 – based on 16 votes

Published by admin