4 citations · 6 across the 5 of their papers we have counts for
5 papers
Continuations and Completeness in Proof-theoretic Semantics
Tao Gu, David Pym, Eike Ritter +1
This is a short paper about the relationship between logic and computation. More specifically, it is about a relationship between the completeness proof for intuitionistic proposit…
Skolemisation for Intuitionistic Linear Logic
Alessandro Bruni, Eike Ritter, Carsten Schürmann
Focusing is a known technique for reducing the number of proofs while preserving derivability. Skolemisation is another technique designed to improve proof search, which reduces th…
Categorical Proof-Theoretic Semantics
David Pym, Eike Ritter, Edmund Robinson
In proof-theoretic semantics, model-theoretic validity is replaced by proof-theoretic validity. Validity of formulae is defined inductively from a base giving the validity of atoms…
Verification of agent knowledge in dynamic access control policies
Masoud Koleini, Eike Ritter, Mark Ryan
We develop a modeling technique based on interpreted systems in order to verify temporal-epistemic properties over access control policies. This approach enables us to detect infor…
Formal Analysis of UMTS Privacy
Myrto Arapinis, Loretta Ilaria Mancini, Eike Ritter +1
The ubiquitous presence of mobile communication devices and the continuous development of mo- bile data applications, which results in high level of mobile devices' activity and ex…