scispace - formally typeset

Topic

Normal modal logic

About: Normal modal logic is a(n) research topic. Over the lifetime, 2649 publication(s) have been published within this topic receiving 75735 citation(s).


Papers
More filters
Book
28 Jun 2001

2,698 citations

Book
01 Jan 1968
TL;DR: This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic with all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing clarity of exposition and approachability.
Abstract: This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic. A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic.

2,154 citations

Book
10 Dec 1997

2,024 citations

Book
29 Feb 1980
TL;DR: This chapter discusses standard models for modal logics, classical systems of modal logic, and Determination and decidability for classical systems.
Abstract: A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an up-to-date and reliable guide essential for the student.

1,877 citations

Journal ArticleDOI
Abstract: 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,125 citations

Network Information
Related Topics (5)
Dynamic logic (modal logic)

6.6K papers, 210.3K citations

92% related
Decidability

9.9K papers, 205.1K citations

89% related
Description logic

8.7K papers, 232.7K citations

88% related
Type (model theory)

38.9K papers, 670.5K citations

86% related
Logic programming

11.1K papers, 274.2K citations

85% related
Performance
Metrics
No. of papers in the topic in previous years
YearPapers
20213
20205
201913
201818
201748
201696