External Links

    Journal: Journal of Logic, Language and Information

    Volume 1, Issue 3

    173 -- 201Kosta Dosen. Modal logic as metalogic
    203 -- 233Marcelo Finger, Dov M. Gabbay. Adding a temporal dimension to a logic system
    235 -- 252Marcello D'Agostino. Are tableaux an improvement on truth-tables?
    runs on