Studia Logica: An International Journal for Symbolic Logic, Vol. 84, No. 2, Ways of Worlds 2: On Possible Worlds and Related Notions (Nov., 2006), pp. 171-210 (40 pages) The paper focuses on extending ...
Vol. 196, No. 7, Special Issue on Between First- and Second-Order Logie (July 2019), pp. 2671-2693 (23 pages) Many efforts have been made in recent years to construct formal systems for mechanizing ...