Skip to search formSkip to main contentSkip to account menuSemantic Scholar Semantic Scholar's Logo Search 205,609,592 papers from all fields of science

Search

Semantic Scholar uses AI to extract papers important to this topic.

Highly Cited

2007

Highly Cited

2007

Part 1. Basic Theory Modal Logic: A Semantic Perspective (J. van Benthem and P. Blackburn) Modal Proof Theory (M. Fitting…

Review

2004

Review

2004

This paper surveys the main concepts and systems of modal logic. It shows how the tree or tableau method provides a simple and…

Highly Cited

1991

Highly Cited

1991

In certain areas of artificial intelligence there is need to represent continuous change and to make statements that are…

Highly Cited

1988

Highly Cited

1988

A novel logic is introduced for the introduction of nondeterministic and concurrent processes expressed in a process algebra. For…

Highly Cited

1980

Highly Cited

1980

Contents Preface Part I: 1. Introduction 2. Logical preliminaries Part II: 3. Standard models for modal logics: 4. Normal systems…

Highly Cited

1977

Highly Cited

1977

The computational complexity of the provability problem in systems of modal propositional logic is investigated. Every problem…

Highly Cited

1968

Highly Cited

1968

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A…

Highly Cited

1968

Highly Cited

1968

you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may…

Highly Cited

1963

Highly Cited

1963

Publisher Summary This chapter discusses semantical analysis of modal logic ii and non-normal modal propositional calculi. The…

Highly Cited

1959

Highly Cited

1959

The present paper attempts to state and prove a completeness theorem for the system S5 of [1], supplemented by first-order…