I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-
Classical Logics. I put forward the methodology of labelled deductive systems to the …

In this paper, we consider the influence of trust on the assimilation of acquired information
into an agent's belief. By use of modal logic, we semantically and axiomatically characterize …

Motivated by medical terminology applications, we investigate the decidability of an
expressive and prominent description logic (DL), SHIQ, extended with role inclusion axioms …

Classical higher-order logic, when utilized as a meta-logic in which various other (classical
and non-classical) logics can be shallowly embedded, is suitable as a foundation for the …

Abstract The Thousands of Problems for Theorem Provers (TPTP) World is a well-
established infrastructure that supports research, development and deployment of …

We study multiagent epistemic planning with a simple epistemic logic whose language is a
restriction of that of standard epistemic logic. Its formulas are boolean combinations of …

We present a comprehensive programme analysing the decomposition of proof systems for
non-classical logics into proof systems for other logics, especially classical logic, using an …

Publisher Summary This chapter examines computational approaches to modal logics. A
variety of computational approaches and reasoning problems are considered, the use of …

We provide a simple translation of the satisfiability problem for regular grammar logics with
converse into GF 2, which is the intersection of the guarded fragment and the 2-variable …

Logic is the study of reasoning. Typically, it proceeds in terms of inferring a conclusion from
established premises. The systematic use of symbolic and mathematical techniques to …