One-and-a-halfth-order logic.

Murdoch Gabbay, Aad Mathijssen

Browse the full PPDP paper archive.