Editorial and call for papers: The Non-classical Logics Corner of the Journal of Logic and Computation von Carnielli, W., Wansing, H.

Volltext

Benedikt Löwe and Philip Welch. Set-theoretic absoluteness and the revision theory. Studia Logica, vol. 68 (2001), pp. 21–41. - Benedikt Löwe. Revision sequences and computers with an infinite amount of time. Journal of Logic and Computation, vol. 11 (2001), pp. 25–40 von Halbach, Volker

Volltext

Theoretical computing: Journal of Logic and Computation / Applicable Algebra in Engineering, Communication and Computing

Volltext

Corrigendum (correction to: Journal of Logic and Computation, Vol. 1, Issue 3, May 1991, p. 331–356) von Balbiani, Philippe

Volltext

Jónsson-style canonicity in distributive modal µ-calculus von Zhao, Zhiguang

Volltext

Algorithmic correspondence and canonicity for possibility semantics von Zhao, Zhiguang

Volltext

Perfect proofs at first order von Tennant, Neil

Volltext

Access-based intuitionistic knowledge von Lewitzka, Steffen

Volltext

Bisimulations for coalgebras on Stone spaces von Enqvist, Sebastian, Sourabh, Sumit

Volltext

Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions von Rogozin, Daniel

Volltext

Inference as Doxastic Agency. Part I: The Basics of Justification Stit Logic von Olkhovikov, Grigory K., Wansing, Heinrich

Volltext

Correction to: Lambek Calculus with Conjugates von Sedlár, Igor, Tedder, Andrew

Volltext

Markov Chain Model Representation of Information Diffusion in Social Networks von Dennis, Louise A, Fu, Yu, Slavkovik, Marija

Volltext

Methods of class field theory to separate logics over finite residue classes and circuit complexity von Arratia Quesada, Argimiro Alejandro, Ortiz, Carlos E

Volltext

Proceedings of the XX Encontro Brasileiro de Lógica von Haeusler, Edward Hermann, Russo, Ciro, Secco, Gisele

Volltext

Displaying updates in logic von Aucher, Guillaume

Volltext

Tame and full strict- Π 11 reflection: A proof-theoretic approach von Jäger, Gerhard

Volltext

Correction to: Parameterized Complexity of Dynamic Belief Updates: A Complete Map

Volltext

Classifying all transducer degrees below N 3 von Kaufmann, Noah

Volltext

Reconciling transparency, low Δ 0-complexity and axiomatic weakness in undecidability proofs von Cantone, Domenico, Omodeo, Eugenio G, Panettiere, Mattia

Volltext