S5 (modal logic)

Known as: Axiom S5, Logic S5 
In logic and philosophy, S5 is one of five systems of modal logic proposed by Clarence Irving Lewis and Cooper Harold Langford in their 1932 book… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1962-2016
024619622016

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this… (More)
Is this relevant?
2010
2010
The fuzzy variant S5(C) of the well-known modal logic S5 is studied, C being a recursively axiomatized fuzzy propositional logic… (More)
  • table 1
Is this relevant?
2008
2008
In this paper, we present a simple sequent calculus for the modal propositional logic S5. We prove that this sequent calculus is… (More)
Is this relevant?
2008
2008
We study rigid string solutions rotating in AdS5 ×S5 background. For particular values of the parameters of the solutions we find… (More)
Is this relevant?
2007
2007
We present a cut-admissible system for the modal logic S5 in a framework that makes explicit and intensive use of deep inference… (More)
  • figure 1
  • figure 2
Is this relevant?
2007
2007
We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structures… (More)
  • figure 1
  • figure 5
  • figure 6
Is this relevant?
2006
2006
Natural deduction systems for classical, intuitionistic and modal logics were deeply investigated by Prawitz [10] from a proof… (More)
Is this relevant?
2005
2005
We study logic programs under Gelfond’s translation in the context of modal logic S5. We show that for arbitrary logic programs… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2005
2005
In this paper we study paraconsistent negation as a modal operator, considering the fact that the classical negation of necessity… (More)
  • table 1
  • table 4
  • table 6
Is this relevant?
1993
1993
In this paper we define four systems of modal propositional logic that can be used for Conceptual Graphs. These 'extensions' of… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?