This is part I of a two-part essay introducing case-intensional first order logic (CIFOL), an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting ...

The quantified extension of a canonical propositional intermediate logic is complete with respect to the generalization of Kripke semantics taking into consideration set-valued functors defined on a ...

Ruth Barcan Marcus GRD ’46, a Yale professor of philosophy and pioneer in the field of quantified modal logic, died Sunday at her home in New Haven. She was 90 ...

Quantified Boolean Formulas (QBF) extend classical Boolean logic by incorporating quantifiers over Boolean variables, thereby enabling the expression of problems in the PSPACE complexity class. The ...