Sciweavers

FTP
1998
Springer

Higher-Order Modal Logic - A Sketch

14 years 3 months ago
Higher-Order Modal Logic - A Sketch
Abstract. First-order modal logic, in the usual formulations, is not sufficiently expressive, and as a consequence problems like Frege's morning
Melvin Fitting
Added 05 Aug 2010
Updated 05 Aug 2010
Type Conference
Year 1998
Where FTP
Authors Melvin Fitting
Comments (0)