Extending ALCQ With Bounded Self-Reference

Gorin D, Schröder L (2012)

Publication Type: Conference contribution, Original article

Publication year: 2012

Publisher: College Publications

Series: Advances in Modal Logic

City/Town: London

Book Volume: 9

Pages Range: 300-316

Conference Proceedings Title: Advances in Modal Logic

Event location: Kopenhagen

ISBN: 9781848900684

Open Access Link: http://www.aiml.net/volumes/volume9/Gorin-Schroeder.pdf

Authors with CRIS profile

Daniel Gorin Lehrstuhl für Informatik 8 (Theoretische Informatik) Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Coalgebra-based generic decision procedures and complexity bounds for modal and hybrid logics (GenMod) May 1, 2008 - Sept. 30, 2016 Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL) April 1, 2011 - April 1, 2014

How to cite

APA:

Gorin, D., & Schröder, L. (2012). Extending ALCQ With Bounded Self-Reference. In Advances in Modal Logic (pp. 300-316). Kopenhagen: London: College Publications.

MLA:

Gorin, Daniel, and Lutz Schröder. "Extending ALCQ With Bounded Self-Reference." Proceedings of the Advances in Modal Logic 2012, Kopenhagen London: College Publications, 2012. 300-316.

BibTeX: Download