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)

Related topics

Related topics

11 relations
Accessibility relationEpistemic modal logicExistential graphKripke semantics

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Intensified biocatalytic production of enantiomerically pure halophenylalanines from acrylic acids using ammonium carbamate as the ammonia source
An intensified, industrially-relevant strategy for the production of enantiopure halophenylalanines has been developed using the… 
2014
2014
Composite supramolecular nanoassemblies with independent stimulus sensitivities
Nanoscale assemblies with stimuli-sensitive features have attracted significant attention due to implications in a variety of… 
2014
2014
Magnetic quantitative analysis for multiplex glycoprotein with polymer-based elemental tags
Carbohydrate biomolecules are difficult targets for analysis due to their branched structure and diverse modifications of… 
2012
2012
Intra-day variability observations of S5 0716+714 over 4.5 years at 4.8 GHz
Aims. We aim to search for evidence of annual modulation in the time scales of the BL Lac object S5 0716+714. 
2011
2011
Hybrid NLIE for the mirror AdS5 ×S5
We revisit the derivation of hybrid nonlinear integral equations of the XXX model starting from the linearization of the T-system… 
2010
2010
Knowledge Compilation in the Modal Logic S5
In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the… 
2006
2006
ON MODAL LOGICS BETWEEN K×K×K AND S5× S5× S5
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
Contingent Objects and the Barcan Formula
It has been argued by Bernard Linsky and Edward Zalta, and independently by Timothy Williamson, that the best quantified modal… 
Highly Cited
2001
Highly Cited
2001
Spatial productivity variations during formation of sapropels S5 and S6 in the Mediterranean Sea: evidence from Ba contents
2000
2000
On the nonlinear KK reductions on spheres of supergravity theories
We address some issues related to the construction of general KaluzaKlein (KK) ansätze for the compactification of a supergravity… 
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)