103063 | -- | 0 | Darion Haase, Erich Grädel, Richard Wilke. Separation logic and logics with team semantics |
103088 | -- | 0 | Rafael Albert, Erich Grädel. Unifying hidden-variable problems from quantum mechanics by logics of dependence and independence |
103104 | -- | 0 | Miika Hannula, Minna Hirvonen, Juha Kontinen. On elementary logics for quantitative dependencies |
103108 | -- | 0 | Miika Hannula, Jonni Virtema. Tractability frontiers in probabilistic team semantics and existential second-order logic over the reals |
103120 | -- | 0 | Richard Wilke. On the Presburger fragment of logics with multiteam semantics |
103136 | -- | 0 | Raine Rönnholm. k-invariant atoms |
103143 | -- | 0 | Davide Emilio Quadrellaro. On intermediate inquisitive and dependence logics: An algebraic study |
103145 | -- | 0 | Haoyu Wang, Yanjing Wang 0001, Yunsong Wang. Inquisitive logic as an epistemic logic of knowing how |
103156 | -- | 0 | Vít Puncochár. Iterated team semantics for a hierarchy of informational types |
103159 | -- | 0 | Fausto Barbero, Pietro Galliani. Embedding causal team languages into predicate logic |
103163 | -- | 0 | Anselm Haak, Arne Meier, Fabian Müller 0003, Heribert Vollmer. Enumerating teams in first-order team logics |
103168 | -- | 0 | Jouko Väänänen, Fan Yang 0004, Philip Scott. Introduction |