3 papers
cs.LO2025
On the Logical Content of Knowledge Bases
Alexader V. Gheorghiu, Tao Gu
Standard epistemic logics introduce a modal operator K to represent knowledge, but in doing so they presuppose the logical apparatus they aim to explain. By contrast, this paper ex…
cs.LO2024
Inferentialist Resource Semantics
Alexander V. Gheorghiu, Tao Gu, David J. Pym
In systems modelling, a 'system' typically comprises located resources relative to which processes execute. One important use of logic in informatics is in modelling such systems f…
cs.LO2024
Proof-theoretic Semantics for the Logic of Bunched Implications
Tao Gu, Alexander V. Gheorghiu, David J. Pym
The logic of bunched implications (BI) can be seen as the free combination of intuitionistic propositional logic (IPL) and intuitionistic multiplicative linear logic (IMLL). We pre…