Skip to search formSkip to main contentSemantic Scholar

You are currently offline. Some features of the site may not work correctly.

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

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

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

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

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

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

Is this relevant?