Document is current

Any future updates will be listed below

Sequent calculus for minimal non-normal temporal logic}{Sequent calculus for minimal non-normal temporal logic

Crossref DOI link: https://doi.org/10.1360/N112015-00320

Published Online: 2016-09-09

Published Print: 2017-01-01

Update policy: https://doi.org/10.1360/scp-crossmark-policy-page

About CrossMark