Nonclassical Logics and Their Applications

Brings together an interdisciplinary group of top scholars who apply state-of-the-art logical methods in the foundations of non-classical logics, decision theory, and information theory Features novel cross-fertilization between decision theory and social sciences via non-classical logics Presents new developments in non-classical logics

Autorentext

Shier Ju is the director of the Institute of Logic and Cognition at the Sun Yat-Sen University (Guangzhou, China). Dr. Shier Ju focuses on the cross-discipline development of logic in connection with culture, argumentation, social interaction, language and computation.
Alessandra Palmigiano holds the Chair of Logic and Management Theory at the School of Business and Economics of the Vrije Universiteit Amsterdam. The logics for social behaviour are the main focus of her research.

Minghui Ma is a Professor in logic at the Institute of Logic and Cognition, Sun Yat-Sen University (Guangzhou, China). Dr. Minghui Ma focuses on the combination of proof theory, model theory and universal algebra for non-classical logics.

Inhalt
Hyperstates on Involutive Bipartite MTL-algebras: A Preliminary Investigation.- Unification and Admissibility in Region-based Modal Logics of Space.- About the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear.- Proving Decidability Via a yntactic Proof Calculus. The Logic of Bunched Implication.- A Quantale Interpretation of Dynamic Logic.- Relational and Algebraic Semantics of Many-Valued Modal Logic.- Matthew effects Via Dependence and Independence Logic.- Explanations on Density Elimination for Semi-linear Substructural Logics.- Generalizing Gentzen's calculi.- Information, Belief, Knowledge: Epistemic Logic Based on Information States Semantics.- Algebraic Semantics for Hybrid Logics.