- Gian Carlo Milanese
, Yde Venema:
Closure Ordinals of the Two-Way Modal µ-Calculus. WoLLIC 2019: 498-515 - Hitoshi Omori, Daniel Skurt
:
SIXTEEN _3 in Light of Routley Stars. WoLLIC 2019: 516-532 - Thomas Powell
, Peter Schuster, Franziskus Wiesnet:
An Algorithmic Approach to the Existence of Ideal Objects in Commutative Algebra. WoLLIC 2019: 533-549 - Sam Sanders:
Reverse Mathematics and Computability Theory of Domain Theory. WoLLIC 2019: 550-568 - Yury Savateev, Daniyar S. Shamkanov:
Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs. WoLLIC 2019: 569-583 - Denis I. Saveliev:
On First-Order Expressibility of Satisfiability in Submodels. WoLLIC 2019: 584-593 - Igor Sedlár
:
Substructural Propositional Dynamic Logics. WoLLIC 2019: 594-609 - Ilya Shapirovsky
:
Modal Logics of Finite Direct Powers of \omega Have the Finite Model Property. WoLLIC 2019: 610-618 - Noortje J. Venhuizen
, Petra Hendriks
, Matthew W. Crocker, Harm Brouwer
:
A Framework for Distributional Formal Semantics. WoLLIC 2019: 633-646 - Richard Zuber:
Weak Conservativity. WoLLIC 2019: 647-660 - Rosalie Iemhoff, Michael Moortgat, Ruy J. G. B. de Queiroz:
Logic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings. Lecture Notes in Computer Science 11541, Springer 2019, ISBN 978-3-662-59532-9 [contents]