Australasian Association for Logic George Hughes Memorial Conference

DOI10.2307/421163zbMATH Open0850.03004OpenAlexW4249408243MaRDI QIDQ4858809FDOQ4858809

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

• Algebraic laws for nondeterminism and concurrency
• New foundations for Lewis modal systems
• Title not available (Why is that?)
• 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)