TY  - RPRT
TI  - First-order Logic with Being a Thesis Modal Operator
AU  - Marcin Łyczak
PY  - 2024
UR  - https://arxiv.org/abs/2406.16133
ID  - 2406.16133
ER  -