Robuta

https://www.illc.uva.nl/Research/Publications/Publications-by-year/publication/4286/Instantial-neighbourhood-logic Instantial neighbourhood logic | Institute for Logic, Language and Computation institute for neighbourhood logic language computation https://eprints.illc.uva.nl/id/eprint/1984/ DS-1995-11: Instantial Logic. An Investigation into Reasoning with Instances - ILLC Preprints and... https://dare.uva.nl/id/c566474a-75af-4c03-8863-1f6b2684b842 UvA DARE | A propositional dynamic logic for instantial neighborhood models uva dare dynamic logic neighborhood