Justification Logic Links

Useful links

Research Laboratory for Logic and Computation, CUNY Graduate Center

Laboratory for Logical Problems of Computer Science, Lomonosov Moscow State University

Logic and Theory Group, University of Bern

CUNY Ph.D. Program in Computer Science - Technical Reports

Institute of Computer Science and Applied Mathematics, University of Bern - Technical Reports

Logic Group Preprint Series, University of Utrecht

Publications of Institute for Logic, Language and Computation, University of Amsterdam

Logic and Rational Interaction webportal

arXiv.org, e-prints

Journals and Series

Advances in Modal Logic (AiML)

Annals of Mathematics and Artificial Intelligence (AMAI)

Annals of Pure and Applied Logic (APAL)

Bulletin for Symbolic Logic (BSL)

Electronic Notes in Theoretical Computer Science (ENTCS)

European Summer School in Logic, Language, and Information (ESSLLI)

Fundamenta Informaticae (FI)

Fundamental and Applied Mathematics (FAM)

Information and Computation (IC)

Journal of Applied Logic (JAL)

Journal of Applied Non-Classical Logics (JANCL)

Journal of Logic and Computation (JLC)

Journal of Symbolic Logic (JSL)

Lecture Notes in Computer Science (LNCS)

Logic and Logical Philosophy (LLP)

Mathematical Notes (MN)

Moscow Mathematical Journal (MMJ)

Moscow University Mathematics Bulletin (MUMB)

Proceedings of the Jangjeon Mathematical Society (PJMS)

Proceedings of the Steklov Institute of Mathematics (PSIM)

Russian Mathematical Surveys (RMS)

Sbornik: Mathematics (SM)

Studia Logica (SL)


Synthese Library

Theoretical Aspects of Rationality and Knowledge (TARK)

Theoretical Computer Science (TCS)

Theory of Computing Systems (TOCS)

The Review of Symbolic Logic (RSL)

Trends in Logic (TL)