Skip to search formSkip to main contentSkip to account menu

Classical modal logic

In modal logic, a classical modal logic L is any modal logic containing (as axiom or theorem) the duality of the modal operators which is also closed… 
Wikipedia (opens in a new tab)

Related topics

Related topics

5 relations
Kripke semanticsModal logicNeighborhood semanticsNormal modal logic

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Bilattice logic of epistemic actions and knowledge
2010
2010
Embedding Constructive K into Intuitionistic K
2009
2009
Classical Natural Deduction for S4 Modal Logic
This paper proposes a natural deduction system CNDS4 for classical S4 modal logic with necessity and possibility modalities. This… 
2008
2008
Full classical S5 in natural deduction with weak normalization
2007
2007
Restricted Classical Modal Logics
We consider a family of noncongruential modal logics obtained by restricting the smallest classical modal logic E and some of its… 
2005
2005
First-order classical modal logic: applications in logics of knowledge and probability
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and… 
2003
2003
Neighborhoods for Entailment
This paper presents a neighborhood semantics for logics of entailment. It begins with a minimal system Min that expresses the… 
1998
1998
A Note on Classical Modal Relevant Algebras
  • S. Celani
  • Reports Math. Log.
  • 1998
  • Corpus ID: 14254214
R. Meyer and E. Mares [10] studied the logic CNR, a classical relevant logic with a modal connective. Such logic is of type S4… 
1998
1998
interpolation and bisimulation in temporal logic
Building on recent model theoretic results for Since-Until logics we define an adequate notion of bisimulation and establish… 
1974
1974
On a nonthesis of classical modal logic
and thus reduce such a modal system into the so-called "The Trivial System"—that is, into an assertoric one with the redundant… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)