Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
The fuzzy variant S5(C) of the well-known modal logic S5 is studied, C being a recursively axiomatized fuzzy propositional logic… Expand
  • table 1
Is this relevant?
Highly Cited
2009
Highly Cited
2009
In this paper we present a method, that we call the tree-hypersequent method, for generating contraction-free and cut-free… Expand
Is this relevant?
Highly Cited
2009
Highly Cited
2009
An understanding of the dynamics of soil organic carbon (SOC) as affected by farming practices is imperative for maintaining soil… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We have acquired a deep i-band image of the BL Lacertae object S5 0716+714 while the target was in an low optical state. Due to… Expand
  • figure 1
  • table 1
  • figure 2
Is this relevant?
Highly Cited
2007
Highly Cited
2007
Multi-modal versions of propositional logics S5 or S4—commonly accepted as logics of knowledge—are capable of describing static… Expand
Is this relevant?
2007
2007
We present a cut-admissible system for the modal logic S5 in a formalism that makes explicit and intensive use of deep inference… Expand
  • figure 1
  • figure 2
Is this relevant?
2007
2007
In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequcnts in the system are… Expand
Is this relevant?
2006
2006
We introduce the logic of proofs whose modal counterpart is the modal logic S5. The language of Logic of Proofs LP is extended by… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Abstract A high-resolution stable O and C isotope study is undertaken on all planktic foraminiferal species that are reasonably… Expand
  • figure 1
  • figure 2
  • table 1
  • table 2
  • table 2
Is this relevant?
Highly Cited
1998
Highly Cited
1998
The paper studies many-dimensional modal logics corresponding to products of Kripke frames. It proves results on axiomatisability… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?