7 citations · 10 across the 4 of their papers we have counts for
Showing cs.LOShow all
3 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…
cs.LO2010★ 7 cited
Automatic Generation of Proof Tactics for Finite-Valued Logics
João Marcos
A number of flexible tactic-based logical frameworks are nowadays available that can implement a wide range of mathematical theories using a common higher-order metalanguage. Used…