John G. Stell (stell-jg)

Contributi a Philosophie.ch

Bibliography

Schmidt, Renate A., Stell, John G. and Rydeheard, David. 2014. “Axiomatic and Tableau-Based Reasoning for Kt(H,R).” in Advances in Modal Logic, volume X, edited by Rajeev Goré, Barteld P. Kooi, and Ágnes Kurucz, pp. 478–497. London: King’s College Publications.
Stell, John G. 2000. “Boolean Connection Algebras: A New Approach to The Region-Connection Calculus.” Artificial Intelligence 122(1–2): 111–136.
Stell, John G. and West, Matthew. 2004. “A Four-Dimensionalist Mereotopology.” in Formal Ontology in Information Systems. Proceedings of the Third International Conference (FOIS-2004), edited by Achille C. Varzi and Laure Vieu, pp. 261–272. Amsterdam: IOS Press.