Premium
Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
Author(s) -
Kripke Saul A.
Publication year - 1963
Publication title -
mathematical logic quarterly
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.473
H-Index - 28
eISSN - 1521-3870
pISSN - 0942-5616
DOI - 10.1002/malq.19630090502
Subject(s) - modal logic , kripke structure , kripke semantics , modal , intuitionistic logic , citation , propositional calculus , calculus (dental) , computer science , intermediate logic , mathematical economics , mathematics , discrete mathematics , algorithm , theoretical computer science , model checking , world wide web , medicine , chemistry , dentistry , polymer chemistry , description logic
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.