ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Journal of Logic and Computation
container_crzmi3qeiramtlvcrfycib3qg4
Oxford University Press
Homepage URLs
https://academic.oup.com/logcom/issue |
https://web.archive.org/web/20161215070036/http://logcom.oxfordjournals.org/ |
Example Publications
Uniform lyndon interpolation for basic non-normal modal and conditional logics
Amirhossein Akbar Tabatabai, Rosalie Iemhoff, Raheleh Jalali
2024
|
Journal of Logic and Computation
doi:10.1093/logcom/exae057
Correction to: Conjunctive degrees and cylinders
2024 | Journal of Logic and Computationdoi:10.1093/logcom/exae012
Coarsening natural deduction proofs II: finding gaunt proofs
Ethan Brauer
2024
|
Journal of Logic and Computation
doi:10.1093/logcom/exae003
Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite Kripke frames
Mikhail Rybakov, Dmitry Shkatov
2024
|
Journal of Logic and Computation
doi:10.1093/logcom/exad078
Defining Logical Systems via Algebraic Constraints on Proofs
Alexander V Gheorghiu, David J Pym
2023
|
Journal of Logic and Computation
doi:10.1093/logcom/exad065