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… 
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… 
2011
2011
Monitoring of a Swedish Integral Abutment Bridge
Abstract One of the most commonly discussed problems regarding bridges with integral abutments is the influence of longitudinal… 
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… 
2002
2002
Quantitative determination of the distribution of free hydroxylic and carboxylic groups in unsaturated polyester and alkyd resins by 31P-NMR spectroscopy
Quantitative 31P-NMR spectroscopy is used to measure the hydroxyl and carboxyl content of some polyester resins (short- and long… 
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)