Labelled Propositional Modal Logics: Theory and Practice (1996)

by David Basin , Seán Matthews , Luca Viganò
Citations:34 - 8 self