Submissions should be prepared using the provided LaTeX template and sent to ptlifn.sekretarz@gmail.com. For workshop submissions, please include the workshop name in the email subject line. For regular submissions, please select relevant tags (at most three) from the list below:
- algebraic logic,
- automated reasoning and automated theorem proving,
- contra-classical logic,
- deontic logic and action,
- description theories,
- epistemic logic,
- formal theories of truth,
- history of logic,
- history of Polish logic,
- infinitary logic,
- intuitionistic logic,
- logic and artificial intelligence,
- logic and the foundations of computer science,
- logic of questions,
- many-valued logic,
- modal logic,
- model theory,
- non-classical logic,
- paraconsistent logic,
- philosophical logic,
- philosophy of logic,
- philosophy of science,
- proof theory,
- recursion theory,
- semantics of modal logic,
- set theory and the foundations of mathematics,
- substructural logic,
- temporal logic,
- other: (please specify).