# Normal modal logic

## Papers overview

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

2016

2016

- Advances in Modal Logic
- 2016

Recent years witness a growing interest in nonstandard epistemic logics of “knowing whether”, “knowing what”, “knowing how” and… (More)

Is this relevant?

Highly Cited

2008

Highly Cited

2008

- Theor. Comput. Sci.
- 2008

Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modelled as coalgebras… (More)

Is this relevant?

2007

2007

- ArXiv
- 2007

This paper provides a call-by-name and a call-by-value term calculus, both of which have a Curry-Howard correspondence to the box… (More)

Is this relevant?

Highly Cited

2005

Highly Cited

2005

- J. Philosophical Logic
- 2005

A general method for generating contractionand cut-free sequent calculi for a large family of normal modal logics is presented… (More)

Is this relevant?

2004

2004

- 2004

An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold… (More)

Is this relevant?

1999

1999

- AI*IA
- 1999

In this paper we show how to extend KEM, a tableaux-like proof system for normal modal logic, in order to deal with classes of… (More)

Is this relevant?

1993

1993

- Math. Log. Q.
- 1993

We present sequent calculi for normal modal logics where modal and propositional behaviours are separated. and we prove a cut… (More)

Is this relevant?

Highly Cited

1992

Highly Cited

1992

- 1992

Suppose there are several experts, with some dominating others (expert A dominates expert B if B says something is true whenever… (More)

Is this relevant?

1991

1991

- 1991

The present communication suggests deductive systems for the operator a of unprovability in some particular propositional normal… (More)

Is this relevant?

1987

1987

- Studia Logica
- 1987

A logic with normal modal operators and countable infinito conjunctions and disjunctions is introduced. A Hflbert's style… (More)

Is this relevant?