2005–06 Winter Meeting of the Association for Symbolic Logic

DOI10.2178/BSL/1154698743MaRDI QIDQ3412464zbMATH OpenOpenAlexFDO

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

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

Cites work

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

Cited in

(3)

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

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)