3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2023
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche +5
This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuiti…
cs.LO2019★ 3 cited
A Substructural Epistemic Resource Logic: Theory and Modelling Applications
Didier Galmiche, Pierre Kimmel, David Pym
We present a substructural epistemic logic, based on Boolean BI, in which the epistemic modalities are parametrized on agents' local resources. The new modalities can be seen as ge…