2005 Annual Conference of the Australasian Association for Logic

DOI10.2178/BSL/1154698744zbMath1100.03501OpenAlexW2312337152MaRDI QIDQ3412465

No author found.

Publication date: 6 December 2006

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

Full work available at URL: https://doi.org/10.2178/bsl/1154698744

Mathematics Subject Classification ID

Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• Unnamed Item
• Counterfactuals and comparative possibility
• Single step tableaux for modal logics. Computational properties, complexity and methodology
• When Other Things Aren't Equal: Saving Ceteris Paribus Laws from Vacuity
• Free-variable tableaux for propositional modal logics

This page was built for publication: 2005 Annual Conference of the Australasian Association for Logic