Sheaves, games, and model completions
By S. Ghilardi, Marek W. Zawadowski. 2002
56 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Computational Theory and Mathematics, History and Philosophy of Science
View Paper: https://www.semanticscholar.org/paper/276010b89271b2fc4798bad0da5cdae0bd18ac25
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
In Computational Theory and Mathematics
In History and Philosophy of Science
Citations in the corpus
- Model theory for extended modal languages (2005, background): “When restricted to modal formulas, this definition becomes the usual definition of uniform interpolation for modal logics [100, 49].”