35 citations · 124 across the 25 of their papers we have counts for
5 papers · 1 filter
Nominal semantics for predicate logic: algebras, substitution, quantifiers, and limits
Gilles Dowek, Murdoch J. Gabbay
We define a model of predicate logic in which every term and predicate, open or closed, has an absolute denotation independently of a valuation of the variables. For each variable…
Permissive-Nominal Logic (journal version)
Gilles Dowek, Murdoch J. Gabbay
Permissive-Nominal Logic (PNL) is an extension of first-order predicate logic in which term-formers can bind names in their arguments. This allows for direct axiomatisations with b…
Permissive nominal terms and their unification: an infinite, co-infinite approach to nominal techniques
Gilles Dowek, Murdoch J. Gabbay, Dominic Mulligan
Nominal terms extend first-order terms with binding. They lack some properties of first- and higher-order terms: Terms must be reasoned about in a context of 'freshness assumptions…
Semiframes: the algebra of semitopologies and actionable coalitions
Murdoch J. Gabbay
We introduce semiframes (an algebraic structure) and investigate their duality with semitopologies (a topological one). Both semitopologies and semiframes are relatively recent dev…
Semitopology: a topological approach to decentralised collaborative action
Murdoch Gabbay
We introduce semitopology, a generalisation of point-set topology that removes the restriction that intersections of open sets need necessarily be open. The intuition is that point…