@inproceedings{inproceedings, title  = {{Decidability of predicate logics with team semantics}},

 url = {{}},

 year = {{2016}},

 month = {{8}},

 author = {{Kontinen J and Kuusisto A and Virtema J}},

 doi = {{10.4230/LIPIcs.MFCS.2016.60}},

 volume = {{58}},

 journal = {{Leibniz International Proceedings in Informatics Lipics}},

 note = {{Accessed on 2026/01/07}}}