Hintikka multiplicities in matrix decision methods for some propositional modal logics

Cerrito, SSCerritoMayer, MCMCMayerASI Sponsor2020-09-172020-09-171997-01-01https://hdl.handle.net/20.500.13025/378Hintikka multiplicities in matrix decision methods for some propositional modal logicsArticle Journalhttp://link.springer.com/chapter/10.1007/BFb002741054dcce078580fe1368eeaea2