海量图书期刊资源,随时随地畅享阅读乐趣
Self provers and 1 sentencesGoris, E.; Joosten, J. J. · Logic Journal of IGPL · 2012
Modal Matters for Interpretability LogicsGoris, E.; Joosten, J. J. · Logic Journal of IGPL · 2008
Hyperidentities of De Morgan algebrasMovsisyan, Y. M.; Aslanyan, V. A. · Logic Journal of IGPL · 2012
Substructural logics on displayGore, R · Logic Journal of IGPL · 1998
Modal Logics for Qualitative Spatial ReasoningBENNETT, BRANDON · Logic Journal of IGPL · 1996
A Useful Substructural LogicRESTALL, GREG · Logic Journal of IGPL · 1994
Unifiability in extensions of K4Gencer, C.; De Jongh, D. · Logic Journal of IGPL · 2009
After GodelPutnam, H. · Logic Journal of IGPL · 2006
Algebraic polymodal logic: a surveyGoldblatt, R · Logic Journal of IGPL · 2000