An Essay in Classical Modal Logic by Krister Segerberg


By Krister Segerberg

This paintings kinds the author’s Ph.D. dissertation, submitted to Stanford college in 1971. The author’s total function is to offer in an prepared style the speculation of relational semantics (Kripke semantics) in modal propositional good judgment, in addition to the extra basic neighbourhood semantics (Montague-Scott semantics), after which to use those systematically to the exam of quite a lot of person modal logics. He restricts himself to propositional modal logics; quantified modal logics will not be thought of. the writer brings jointly below one disguise an exceptional many effects that have been already identified in scattered shape in journals, in addition to others from oral communications; he systematizes those effects, relates them to one another, and refines them; he offers new proofs of many aged theorems, developing, for instance, demonstrations through relational versions for theorems formerly identified basically by way of algebraic equipment; and he additionally contributes a magnificent variety of new effects to the sector. those works validated a few notational and terminological conventions which have been lasting. for example, the time period body used to be utilized in position of version structure.

In the 1st quantity the writer units out a few initial notions, introduces the belief of neighbourhood semantics, establishes a number of uncomplicated consistency and completeness theorems when it comes to such semantics, introduces relational semantics and relates them to neighbourhood semantics, and starts off a learn of p-morphisms and filtrations of relational and neighbourhood types. within the moment quantity he applies those semantic strategies to an in depth learn of transitive relational types and linked logics. within the 3rd quantity he adapts the notions and methods built within the first as a way to hide modal logics which are quasi-normal or quasi-regular, within the experience of together with the least common [regular] modal good judgment with no unavoidably being themselves common [regular]. [From the evaluation through David Makinson.]

Filtration was once used greatly by means of Segerberg to turn out completeness theorems. this method may be powerful in facing logics whose canonical version doesn't fulfill a few wanted estate, and is derived into its personal whilst trying to axiomatise logics outlined by means of a few on finite frames. this system was once utilized in ``Essay'' to axiomatise an entire diversity of logics, together with these characterized via the sessions of finite partial orderings, finite linear orderings (both irreflexive and reflexive), and the modal and annoying logics of the constructions of N, Z, Q, R, with the relation "more", "less", or their reflexive opposite numbers. [Taken from R.Goldblatt, Mathematical modal good judgment: A view of its evolution, J. of utilized common sense, vol.1 (2003), 309-392.]

Show description

Read or Download An Essay in Classical Modal Logic PDF

Best logic books

Fundamentals of Digital Logic and Microcomputer Design: Includes Verilog & VHDL -- Fourth Edition

PREFACE This publication covers all easy strategies of computing device engineering and technological know-how from electronic good judgment circuits to the layout of an entire microcomputer method in a scientific and simplified demeanour. it truly is written to give a transparent figuring out of the rules and uncomplicated instruments required to layout commonplace electronic structures resembling microcomputers.

Logic Programming and Nonmotonic Reasoning: 6th International Conference, LPNMR 2001 Vienna, Austria, September 17–19, 2001 Proceedings

This ebook constitutes the refereed court cases of the sixth foreign convention on common sense Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna, Austria in September 2001. The 22 revised complete papers and 11 approach descriptions awarded with 5 invited papers have been conscientiously reviewed and carefully chosen.

Logik im Recht: Grundlagen und Anwendungsbeispiele

In dem Lehr- und Studienbuch zeigt der Autor, in welchem Maße logische Strukturen das Rechtsdenken bestimmen. Er erläutert die wesentlichen logischen Grundlagen und ihre Anwendung auf dem Gebiet des Rechts. Zum einen führt dies zu einem tieferen Verständnis der juristischen Dogmatik und einer systematischen Durchdringung des Rechtsstoffs, zum anderen tragen die Überlegungen zwischen Logik und Rechtswissenschaft zu neuen Erkenntnissen bei.

Additional resources for An Essay in Classical Modal Logic

Sample text

D4E is a name of KD4E. S5 is a name of KT4B. B is a name of KTB (the Some but not all of these conventions are in accord with the literature. K-systems: The main abberrance is from Sobocinski's his K4 refers to a totally different system (see for example SOBOCINSKI 1964a). 2 THEOREM. Suppose L jls a normal logic. (U, R, V) Let 7>£- be any generated submodel of the canonical model for L. Then : i. If K4 c L, then R is transitive. ii. If D4 c L, then R is serial and transitive. iii. If S4 qL, then R ijs reflexive and transitive.

34- The importance of these notions is that they enable us to form a simple criterion of decidability. A set Z of formulas is decidable if there is,a procedure which, for each formula A, allows one to decide, in a finite number of steps, whether A is a theorem of L. A logic is decid­ able if the set of its theorems is. Let us say that a logic is axiomatizable if there is a system S such that i. ii. there is no inference rule other than MP and RE the modal axioms of S are the instances of a finite number of schemata; iii.

T a frame for L if and only if Proof. iff We 'LL is a model for L. ^ and If *3* is a framefor L„ than any model cm ^ for L. provethe converse, suppose To is. M .. , Q> -32- is a finite frame which is not a frame for L. Then there exists some formula A which is not a theorem of L and which fails somewhere in some model 7'’ ** . Let lLm

Download PDF sample

Rated 4.46 of 5 – based on 21 votes