# Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi

@article{Kripke1963SemanticalAO, title={Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi}, author={Saul Kripke}, journal={Mathematical Logic Quarterly}, year={1963}, volume={9}, pages={67-96} }

Publisher Summary This chapter discusses semantical analysis of modal logic ii and non-normal modal propositional calculi. The proof of sufficiency, which is omitted by many, proceeds by constructing a normal characteristic matrix by Lindenbaum's method. The tableaux that leads to a decision procedure for the propositional calculi is considered.

## 1,174 Citations

### Infinitary propositional normal modal logic

- Philosophy, MathematicsStud Logica
- 1987

A Hilbert's style axiomatization is proved complete for this logic, as well as for countable sublogics and subtheories, and it is shown that the logic has the interpolation property.

### Proof Theory for Modal Logic

- Philosophy
- 2011

The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these…

### A Tableau-Like Proof Procedure for Normal Modal Logics

- Philosophy, MathematicsTheor. Comput. Sci.
- 1994

### On modal logic with propositional quantifiers

- PhilosophyJournal of Symbolic Logic
- 1969

I am interested in extending modal calculi by adding propositional quantifiers, given by the rules for quantifier introduction: provided that p does not occur free in A.

### First-order modal tableaux

- Computer ScienceJournal of Automated Reasoning
- 2004

We describe simple semantic tableau based theorem provers for four standard modal logics, in both propositional and first-order versions. These theorem provers are easy to implement in Prolog, have a…

### Towards Determining the Subset Relation between Propositional Modal Logics

- Computer Science
- 2006

A test suite shows that relatively simple strategies can lead to satisfactory results, but also that certain subproblems are hard for current automated theorem provers.

### Some Lectures on Modal Logic

- Philosophy
- 1991

An exposition of some modal logics useful for teaching and research in computer science, including classical concurrent dynamic logic, and nonmonotonic reasoning.

### Logical Consequence in Modal Logic: Alternative Semantic Systems for Normal Modal Logics

- Philosophy
- 1973

### Standard Approach to Basic Modal Logics

- Mathematics
- 2010

This group of non-axiomatic systems that are called standard in the sense of keeping intact all the machinery of suitable systems for classical logic, covers modal extensions of standard Gentzen SC, Hintikka-style modal TS, and some ND systems.

### The Complexity of Some Non-Classical Logics

- PhilosophySWAT
- 1973

Using a theorem of Cook's and well-known transformations from intuitionistic to classical and modal to intuitionistic logics, the validity problem for intuitionistic andmodal logics is shown to be polynomial equivalent to the validity problems for classical logic.

## References

SHOWING 1-10 OF 23 REFERENCES

### A completeness theorem in modal logic

- MathematicsJournal of Symbolic Logic
- 1959

The present paper attempts to state and prove a completeness theorem for the system S5 of [1], supplemented by first-order quantifiers and the sign of equality. We assume that we possess a…

### Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M

- MathematicsJ. Symb. Log.
- 1954

It appears, for example, that the decision procedures to be described in this paper will yield decisions readily when applied to modal functions of degree two (or less) with three (or fewer) distinct propositional variables.

### A Theory Of Formal Deducibility

- Education
- 1950

What do you do to start reading a theory of formal deducibility? Searching the book that you love to read first or find an interesting book that will make you want to read? Everybody has difference…

### Some theorems about the sentential calculi of Lewis and Heyting

- Mathematics, PhilosophyThe Journal of Symbolic Logic
- 1948

This paper shall prove theorems about some systems of sentential calculus, by making use of results established elsewhere regarding closure algebras' and Brouwerian albegras, and the Lewis system and the Heyting system.