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)

close-button

Types of publications

Journal article
Unpublished / Preprint

Publication year

From
To

Abstract

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 T, Pattinson D Journal article, Original article