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 ...
Studia Logica: An International Journal for Symbolic Logic, Vol. 102, No. 4, Logic and Probability: Reasoning in Uncertain Environments (August 2014), pp. 867-890 (24 pages) Systems of ...
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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback