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.
2015
2015
Intuitionistic Epistemology and Modal Logics of Verification
The language of intuitionistic epistemic logic, IEL [3], captures basic reasoning about intuitionistic knowledge and belief, but… 
2013
2013
A modal logic amalgam of classical and intuitionistic propositional logic
A famous result, conjectured by Godel in 1932 and proved by McKinsey and Tarski in 1948, says that $\varphi$ is a theorem of… 
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… 
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… 
2001
2001
Remarks on Intuitionistic Modal Logics
This paper is devoted to study an extension of intuitionistic modal logic introduced by Fischer-Servi [6] by means of Lemmon… 
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)