Linked e-resources
Details
Table of Contents
Editorial Preface; Dov M. Gabbay
Hybrid Logic; Torben Brauner
Nominal Terms and Nominal Logics: From Foundations to Meta-mathematics; Murdoch J. Gabbay
Introduction to Labelled Deductive Systems; Dov M. Gabbay.
Hybrid Logic; Torben Brauner
Nominal Terms and Nominal Logics: From Foundations to Meta-mathematics; Murdoch J. Gabbay
Introduction to Labelled Deductive Systems; Dov M. Gabbay.