Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi | Zendy

Kripke Saul A. | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

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.

This content is not available in your region!

Continue researching here.

Having issues? You can contact us here

Accelerating Research