Journal of Logic and Computation

Journal Abbreviation: J LOGIC COMPUT
ISSN: 0955-792X
Publisher: Oxford University Press (OUP): Policy A - Oxford Open Option A

Publications (3)

On the behaviour of coalgebras with side effects and algebras with effectful iteration (2021) Adamek J, Milius S, Urbat H Journal article How to Identify, Translate, and Combine Logics? (2017) Rabe F Journal article A van Benthem/Rosen Theorem for Coalgebraic Predicate Logic (2015) Schröder L, Litak TM, Pattinson D Journal article, Original article