@article{intensionalfirstorderlogicforstrongai, title = {Strong-AI Autoepistemic Robots Build on Intensional First Order Logic}, author = {Zoran Majkic}, year = {2022}, eprint = {2212.07935}, archivePrefix = {arXiv}, url = {https://arxiv.org/abs/2212.07935v3}, }