7 citations · 18 across the 9 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014★ 1 cited
Bivalent semantics, generalized compositionality and analytic classic-like tableaux for finite-valued logics
Carlos Caleiro, João Marcos, Marco Volpe
The paper is a contribution both to the theoretical foundations and to the actual construction of efficient automatizable proof procedures for non-classical logics. We focus here o…
cs.LO2014★ 2 cited
Clausal Resolution for Modal Logics of Confluence
Cláudia Nalon, João Marcos, Clare Dixon
We present a clausal resolution-based method for normal multimodal logics of confluence, whose Kripke semantics are based on frames characterised by appropriate instances of the Ch…