@unpublished{jl_2003/smv_system,

title = {Das SMV-System},

author = {Jens Lehmann},

url = {https://jens-lehmann.org/files/2003/smv_system.pdf},

year  = {2003},

date = {2003-01-01},

urldate = {2003-01-01},

note = {Proseminar Modale Logik},

keywords = {},

pubstate = {published},

tppubtype = {unpublished}

}