Winter meeting of the Association for Symbolic Logic, San Antonio, 1993

DOI10.2307/2275424zbMath0802.03003OpenAlexW1517967002MaRDI QIDQ4302363

No author found.

Publication date: 15 August 1994

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

Full work available at URL: https://doi.org/10.2307/2275424

zbMATH Keywords

MeetingLogicWinter meetingSymbolic logicSan Antonio

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cites Work

• Unnamed Item
• Some highly undecidable lattices
• Quick completeness proofs for some logics of conditionals
• Counterfactuals and comparative possibility
• A sequent- or tableau-style system for Lewis's counterfactual logic VC
• Nonstandard hulls of Banach spaces
• Espaces de Banach stables
• A Gentzen- or Beth-type system, a practical decision procedure and a constructive completeness proof for the counterfactual logics VC and VCS
• Recursively enumerable vector spaces
• Some combinatorial problems concerning uncountable cardinals

This page was built for publication: Winter meeting of the Association for Symbolic Logic, San Antonio, 1993