Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
An intensified, industrially-relevant strategy for the production of enantiopure halophenylalanines has been developed using the… 
2014
2014
Nanoscale assemblies with stimuli-sensitive features have attracted significant attention due to implications in a variety of… 
2014
2014
Carbohydrate biomolecules are difficult targets for analysis due to their branched structure and diverse modifications of… 
2012
2012
Aims. We aim to search for evidence of annual modulation in the time scales of the BL Lac object S5 0716+714. 
2011
2011
We revisit the derivation of hybrid nonlinear integral equations of the XXX model starting from the linearization of the T-system… 
2010
2010
In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the… 
2006
2006
We prove that every n-modal logic between K and S5 is undecidable, whenever n ≥ 3. We also show that each of these logics is non… 
2006
2006
It has been argued by Bernard Linsky and Edward Zalta, and independently by Timothy Williamson, that the best quantified modal… 
2000
2000
We address some issues related to the construction of general KaluzaKlein (KK) ansätze for the compactification of a supergravity…