Algorithms for Computing Minimal Conflicts
- 期刊名称Logic Journal of IGPL
- 作者Luan, S.
- 卷第14卷
- 期第2期
- 印刷ISSN1367-0751
- 电子ISSN1368-9894
- 文件大小177.68KB
- 发表时间2006-03-01
- DOI10.1093/jigpal/jzk026
- 页码391-406
同期刊推荐
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
Self provers and 1 sentencesGoris, E.; Joosten, J. J. · Logic Journal of IGPL · 2012
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