Abstract | ||
---|---|---|
Cut reductions are defined for a Kripke-style formulation of modal logic in terms of indexed systems of sequents. A detailed proof of the normalization (cut-elimination) theorem is given. The proof is uniform for the propositional modal systems with all combinations of reflexivity, symmetry and transitivity for the accessibility relation. Some new transformations of derivations (compared to standard sequent formulations) are needed, and some additional properties are to be checked. The display formulations of the systems considered can be presented as encodings of Kripke-style formulations. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1023/A:1017948105274 | J. Philosophical Logic |
Keywords | Field | DocType |
Modal Logic, Modal System, Additional Property, Index System, Detailed Proof | Discrete mathematics,Normalization (statistics),Accessibility relation,Algorithm,Index system,Sequent,Modal logic,Modal,Mathematics,Transitive relation | Journal |
Volume | Issue | ISSN |
26 | 6 | 1573-0433 |
Citations | PageRank | References |
20 | 1.62 | 3 |
Authors | ||
1 |
Name | Order | Citations | PageRank |
---|---|---|---|
Grigori Mints | 1 | 235 | 72.76 |