Australasian Association for Logic George Hughes Memorial Conference

DOI10.2307/421163MaRDI QIDQ4858809zbMATH OpenOpenAlexFDO

Authors

Publication date 1 February 1996

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://www.math.ucla.edu/~asl/bsl/0103-toc.htm

zbMATH Keywords

LogicAbstractsHugh Memorial ConferenceOtago

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites work

• scientific article; zbMATH DE number 736618 (Why is no real title available?)
• Algebraic laws for nondeterminism and concurrency
• New foundations for Lewis modal systems
• The completeness of S1 and some related systems

This page was built for publication: Australasian Association for Logic George Hughes Memorial Conference

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4858809)