Issue navigation
Volume 23, Issue 5, October 2015
Original Articles
Base-extension semantics for intuitionistic sentential logic
Logic Journal of the IGPL, Volume 23, Issue 5, October 2015, Pages 719–731, https://doi.org/10.1093/jigpal/jzv021
Logical consistency in simultaneous statistical test procedures
Logic Journal of the IGPL, Volume 23, Issue 5, October 2015, Pages 732–758, https://doi.org/10.1093/jigpal/jzv027
Relative expressive power of navigational querying on graphs using transitive closure
Logic Journal of the IGPL, Volume 23, Issue 5, October 2015, Pages 759–788, https://doi.org/10.1093/jigpal/jzv028
Nested sequents for provability logic GLP
Logic Journal of the IGPL, Volume 23, Issue 5, October 2015, Pages 789–815, https://doi.org/10.1093/jigpal/jzv029
A general framework for product representations: bilattices and beyond
Logic Journal of the IGPL, Volume 23, Issue 5, October 2015, Pages 816–841, https://doi.org/10.1093/jigpal/jzv030
Reduction of provability logics to Σ1-provability logics
Logic Journal of the IGPL, Volume 23, Issue 5, October 2015, Pages 842–847, https://doi.org/10.1093/jigpal/jzv031
Conference Report
21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014)
Logic Journal of the IGPL, Volume 23, Issue 5, October 2015, Pages 848–859, https://doi.org/10.1093/jigpal/jzv022
