Tulenheimo, Tero IF modal logic and classical negation. (English) Zbl 1338.03042 Stud. Log. 102, No. 1, 41-66 (2014). MSC: 03B45 PDFBibTeX XMLCite \textit{T. Tulenheimo}, Stud. Log. 102, No. 1, 41--66 (2014; Zbl 1338.03042) Full Text: DOI
Galliani, Pietro Inclusion and exclusion dependencies in team semantics – on some logics of imperfect information. (English) Zbl 1250.03047 Ann. Pure Appl. Logic 163, No. 1, 68-84 (2012). MSC: 03B60 03C80 03C85 PDFBibTeX XMLCite \textit{P. Galliani}, Ann. Pure Appl. Logic 163, No. 1, 68--84 (2012; Zbl 1250.03047) Full Text: DOI arXiv
Tulenheimo, Tero Equivalence criteria for compositional IF modal logics. (English) Zbl 1347.03050 Areces, Carlos (ed.) et al., Proceedings of the 5th workshop on methods for modalities (M4M5 2007), Cachan, France, November 29–30, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 231, 153-173 (2009). MSC: 03B45 03B70 68Q85 PDFBibTeX XMLCite \textit{T. Tulenheimo}, Electron. Notes Theor. Comput. Sci. 231, 153--173 (2009; Zbl 1347.03050) Full Text: DOI