www.btinternet.com/~adrian.larner/logic
ADRIAN LARNER
LOGIC PAGE
Return to The Home Page
LOGIC
Formal Logic (and some informal) mostly concerned with modal logics and their interpretation and proof by truth tables
Papers
Logic Papers at this site
The Logic Page is under development.
LOGIC ...
See A Matrix Decision Procedure for Three Modal Logics in The Notre Dame Journal of Formal Logic, Vol XX, Number 3, July 1979.
Copyright © 2001 Adrian Larner. The author, identified as Adrian Larner, asserts all moral rights. Subject to the asserted moral rights, the author grants pro tem unrestricted permission for non-commercial copying of all materials on this site for academic purposes.
The decorative image of a key (cc004239.gif) used on pages in this website was obtained from IMSI's MasterClips/MasterPhotos© Collection, 1895 Francisco Blvd East, San Rafael, CA 94901-5506, USA.