The main result of this paper is the following theorem: each modal logic extending K4 having the branching property below m and the effective m-drop point property is decidable with respect to ...

A. Tarski [22] proposed the study of infinitary consequence operations as the central topic of mathematical logic. He considered monotonicity to be a property of all such operations. In this paper, we ...

EIGHTY years ago, Jevons, then professor of logic at Owens College (now the University of Manchester), built a machine which could perform logical inference by mechanical means 1. Other similar ...