Formalizing common sense: an operator-based approach to the Tibbles-Tib problem
From MaRDI portal
Publication:948987
DOI10.1007/s11229-007-9199-0zbMath1181.03003OpenAlexW2166748600MaRDI QIDQ948987
Publication date: 16 October 2008
Published in: Synthese (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11229-007-9199-0
Cites Work
This page was built for publication: Formalizing common sense: an operator-based approach to the Tibbles-Tib problem