Deciding logics of linear Kripke frames with scattered end pieces
Crossref DOI link: https://doi.org/10.1007/s00500-016-2400-y
Published Online: 2016-10-22
Published Print: 2017-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Beckmann, Arnold
Preining, Norbert
License valid from 2016-10-22