Carlos Areces (areces)

Contributions à Philosophie.ch

Bibliography

Areces, Carlos and Bernardi, Raffaella. 2004. “Analyzing the Core of Categorical Grammar.” Journal of Logic, Language, and Information 13(2): 121–137.
Areces, Carlos and Blackburn, Patrick. 2002. “Bringing them all Together.” Unpublished manuscript.
Areces, Carlos, Blackburn, Patrick and Marx, Maarten. 2001. “Hybrid Logics: Characterization, Interpolation, and Complexity.” The Journal of Symbolic Logic 66(3): 977–1010.
Areces, Carlos and Costa, Diana. 2023. Dynamic Logic. New Trends and Applications. Lecture Notes in Computer Science. Berlin: Springer, doi:10.1007/978-3-031-26622-5.
Areces, Carlos and Goldblatt, Robert L., eds. 2008. Advances in Modal Logic. vol. VII. London: College Publications.
Areces, Carlos, Hoogland, Eva and Jongh, Dick H. J. de. 2000. “Interpolation, Definability and Fixed Points in Interpretability Logics.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 53–76. Stanford, California: CSLI Publications.
Areces, Carlos and Rijke, Maarten de. 2002. “From Description to Hybrid Logics, and Back.” in Advances in Modal Logic, volume III, edited by Frank Wolter, Heinrich Theodor Wansing, Maarten de Rijke, and Michael Zakharyaschev, pp. 17–36. Singapore: World Scientific Publishing Co.
Infante-Lopez, Gabriel G., Areces, Carlos and de Rijke, Maarten. 2003. “Controlled Model Exploration.” in Advances in Modal Logic, volume IV, edited by Philippe Balbiani, Suzuki Nobi-Yuki, Frank Wolter, and Michael Zakharyaschev, pp. 205–220. London: King’s College Publications.