Type-Theoretical Dynamics

DOI10.1007/978-94-007-1923-1_11zbMath1264.03027OpenAlexW88091281MaRDI QIDQ2908764

Giuseppe Primiero

Publication date: 29 August 2012

Published in: The Realism-Antirealism Debate in the Age of Alternative Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-94-007-1923-1_11

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Logics of knowledge and belief (including belief change) (03B42)

This page was built for publication: Type-Theoretical Dynamics