Activities
Results
@mastersthesis{Anttila21, author = {Anttila, Aleksi}, title = {The Logic of Free Choice. Axiomatizations of State-based Modal Logics}, publisher = {ILLC University of Amsterdam}, address = {Amsterdam}, external = {https://eprints.illc.uva.nl/id/eprint/1788/1/MoL-2021-03.text.pdf}, year = {2021} }
Related work