Publication:4903911

zbMath1266.03004MaRDI QIDQ4903911

Can Başkent

Publication date: 28 January 2013

zbMATH Keywords

subset space logic; bimodal epistemic logic; Lakatosian heuristics

Mathematics Subject Classification ID

00A30: Philosophy of mathematics

03A05: Philosophical and critical aspects of logic and foundations

03B42: Logics of knowledge and belief (including belief change)

03-03: History of mathematical logic and foundations