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)

Semantic Scholar uses AI to extract papers important to this topic.

2013

2013

- Barteld P. Kooi, Allard M. Tamminga
- Studia Logica
- 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

- Petr HÃ¡jek
- Fuzzy Sets and Systems
- 2010

The fuzzy variant S5(C) of the well-known modal logic S5 is studied, C being a recursively axiomatized fuzzy propositional logicâ€¦Â (More)

Is this relevant?

2008

2008

- Francesca Poggiolesi
- Rew. Symb. Logic
- 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

- H. Dimov
- 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

- Phiniki Stouppa
- Studia Logica
- 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)

Is this relevant?

2007

2007

- Rajeev GorÃ©, Alwen Tiu
- J. Log. Comput.
- 2007

We begin by showing how to faithfully encode the Classical Modal Display Logic (CMDL) of Wansing into the Calculus of Structuresâ€¦Â (More)

Is this relevant?

2006

2006

- Ana Teresa C. Martins, LÃlia Ramalho Martins
- Electr. Notes Theor. Comput. Sci.
- 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

- Mauricio Osorio, Juan Antonio Navarro PÃ©rez, JosÃ© R. Arrazola RamÃrez, VerÃ³nica Borja MacÃas
- J. Log. Comput.
- 2005

We study logic programs under Gelfondâ€™s translation in the context of modal logic S5. We show that for arbitrary logic programsâ€¦Â (More)

Is this relevant?

2005

2005

- Jean-Yves BÃ©ziau
- J. Applied Logic
- 2005

In this paper we study paraconsistent negation as a modal operator, considering the fact that the classical negation of necessityâ€¦Â (More)

Is this relevant?

1993

1993

- Harmen van den Berg
- ICCS
- 1993

In this paper we define four systems of modal propositional logic that can be used for Conceptual Graphs. These 'extensions' ofâ€¦Â (More)

Is this relevant?