2005–06 Winter Meeting of the Association for Symbolic Logic

DOI10.2178/BSL/1154698743zbMATH Open1100.03500OpenAlexW2319721143MaRDI QIDQ3412464FDOQ3412464

Authors:

Publication date: 6 December 2006

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

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

Mathematics Subject Classification ID

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

Cites Work

• Explicit provability and constructive semantics
• Non-deterministic Multiple-valued Structures
• Title not available (Why is that?)
• Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
• Fibring of logics as a categorial construction
• First-order intensional logic
• Proof theory in the USSR 1925–1969
• The field of reals with a predicate for the powers of two
• Normal monomodal logics can simulate all others
• Individual concepts in modal predicate logic
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

• Preface
• 2005 Spring Meeting of the Association for Symbolic Logic
• 2008 Winter Meeting of the Association for Symbolic Logic

This page was built for publication: 2005–06 Winter Meeting of the Association for Symbolic Logic

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