192
Voted
AISC
1998
Springer
16 years 11 hour ago
1998
Springer
While propositional modal logic is a standard tool, first-order modal logic is not. Indeed, it is not generally understood that conventional first-order syntax is insufficiently ex...