by Cobreros, Pablo
Published in Studia logica (01.12.2008)

by Bruni, Roberto, Montanari, Ugo
Published in Models of Computation (2017)

by Tran, Chi
Published in Comptes rendus. Mecanique (01.01.2002)

by Baltas, Aristides
Published in Peeling Potatoes or Grinding Lenses (31.01.2012)

by Ciucci, Davide, Dubois, Didier
Published in Logics in Artificial Intelligence (2012)

by Bradfield, J. C.
Published in RAIRO. Informatique théorique et applications (01.07.1999)

by Davoren, J. M.
Published in RAIRO. Informatique théorique et applications (01.07.1999)

by Ben-Ari, Mordechai
Published in Mathematical Logic for Computer Science (2012)

by Wolter, Frank
Published in Mathematical logic quarterly (1996)

by Jiang, Yue J.
Published in Studia logica (01.05.1993)

by Goertzel, Ben, Geisweiller, Nil, Coelho, Lucio, Janicic, Predrag, Pennachin, Cassio
Published in Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference (2011)

by Blok, W. J., Pigozzi, Don
Published in Studia logica (01.12.1986)

by Roy T. Cook
Published in A Dictionary of Philosophical Logic (20.03.2009)

by Roy T. Cook
Published in A Dictionary of Philosophical Logic (20.03.2009)

by Wolter, Frank
Published in Mathematical logic quarterly (1996)

by Pfenning, F.
Published in Proceedings 16th Annual IEEE Symposium on Logic in Computer Science (2001)

by Chiesa, Lorenzo
Published in The Not-Two (22.04.2016)

by Cerrato, Claudio
Published in Mathematical logic quarterly (1996)

by Muraru, Mihnea-Cosmin, Popovici, Matei-Dan
Published in Annals of DAAAM & proceedings (01.01.2010)

by Apostoli, Peter
Published in Mathematical logic quarterly (1996)