Virtual modality

DOI10.1023/A:1025101329309zbMath1049.03016OpenAlexW4240791546MaRDI QIDQ1430144

William Boos

Publication date: 27 May 2004

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1025101329309

zbMATH Keywords

Boolean-valued modelsmodal semanticsundecidable first-order theoryrecursively axiomatizable first-order theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

This page was built for publication: Virtual modality