2005–06 Winter Meeting of the Association for Symbolic Logic
From MaRDI portal
Publication:3412464
DOI10.2178/bsl/1154698743zbMath1100.03500OpenAlexW2319721143MaRDI QIDQ3412464
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/1154698743
Collections of abstracts of lectures (00B05) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- First-order intensional logic
- Individual concepts in modal predicate logic
- The field of reals with a predicate for the powers of two
- Explicit Provability and Constructive Semantics
- Non-deterministic Multiple-valued Structures
- Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics
- Proof theory in the USSR 1925–1969
- Fibring of logics as a categorial construction
- Normal monomodal logics can simulate all others
This page was built for publication: 2005–06 Winter Meeting of the Association for Symbolic Logic
