Pure Modal Logic of Names and Tableau Systems
Crossref DOI link: https://doi.org/10.1007/s11225-018-9788-6
Published Online: 2018-03-17
Published Print: 2018-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Pietruszczak, Andrzej http://orcid.org/0000-0001-9133-5081
Jarmużek, Tomasz
Funding for this research was provided by:
National Science Centre, Poland (2015/19/B/HS1/02478)
Text and Data Mining valid from 2018-03-17
Article History
First Online: 17 March 2018