Pollen and sediment data from a 10.5 m-deep alluvial exposure secondary tributary at Upper Arroyo, seasonal river, in Saltillo, Mexico, were examined with the aim of reconstructing vegetation environmental history during Holocene as whole. The role climate change Chihuahuan Desert flora development after 8800 BP was assessed, addition to more local physiographic factors, such erosion accumulati...

In recent years we have witnessed a great increase in the interest in Trust Management (TM) techniques both from the industrial and the academic sectors. The booming research has also determined a duality in the very definition of TM system which can lead to confusion. In one of the two categories of TM systems a great deal of work has yet to be done in advancing the inherently adaptive nature ...

We present unlabelled cut-free sequent calculi for Lewis’ conditional logic V and extensions, in both the languages with the entrenchment connective and the strong conditional. The calculi give rise to Pspace-decision procedures, also in the language with the weak conditional. Furthermore, they are used to prove the Craig interpolation property for all the logics under consideration, and yield ...

p. 1 Knowledge Without Modality: A Simplified Framework for Chronological Ignorance p. 25 Design Complete Sequential Calculus for Continuous Fixpoint Temporal Logic p. 36 Logical Omniscience and Classical Logic p. 52 Weak Implication: Theory and Applications p. 65 Deriving Inference Rules for Terminological Logics p. 84 Linear Proofs and Linear Logic p. 106 Relevance and Revision About Generali...