Modal logic is a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators… (More)

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

Highly Cited

2003

Highly Cited

2003

- Dirk Pattinson
- Theor. Comput. Sci.
- 2003

This paper studies finitary modal logics, interpreted over coalgebras for an endofunctor, and establishes soundness, completeness… (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Marc Pauly
- J. Log. Comput.
- 2002

We present a modal logic for reasoning about what groups of agents can bring about by collective action. Given a set of states… (More)

Is this relevant?

Highly Cited

2001

Highly Cited

2001

- David Harel, Dexter Kozen, Jerzy Tiuryn
- SIGACT News
- 2001

“Written by three of the leading researchers in the field, this book is without doubt the most comprehensive introduction to… (More)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- Luca Cardelli, Andrew D. Gordon
- POPL
- 2000

The Ambient Calculus is a process calculus where processes may reside within a hierarchy of locations and modify it. The purpose… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

We consider two families of modal logics of relations: arrow logic and cylindric modal logic and several natural expansions of… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- Moshe Y. Vardi
- Descriptive Complexity and Finite Models
- 1996

In the last 20 years modal logic has been applied to numerous areas of computer science, including artificial intelligence… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

The theory of rough sets is an extension of set theory with two additional unary set-theoretic operators deened based on a binary… (More)

Is this relevant?

Highly Cited

1994

Highly Cited

1994

- Alex K. Simpson
- 1994

Possible world semantics underlies many of the applications of modal logic in computer science and philosophy. The standard… (More)

Is this relevant?

Highly Cited

1982

Highly Cited

1982

- Drew McDermott
- J. ACM
- 1982

Tradmonal logics suffer from the "monotomclty problem"' new axioms never mvahdate old theorems One way to get nd of this problem… (More)

Is this relevant?

Highly Cited

1979

Highly Cited

1979

- Michael J. Fischer, Richard E. Ladner
- J. Comput. Syst. Sci.
- 1979

We introduce a fundamental propositional logical system based on modal logic for describing correctness, termination and… (More)

Is this relevant?