Notes on the Space Requirement for Checking Satisfiability in Modal Logics

Kracht M (2003)
In: Advances in Modal Logic 4. Balbiani P, Suzuki N-Y, Wolter F, Zakharyaschev M (Eds);King's College Publications: 243-264.

Conference Paper | Published | English

No fulltext has been uploaded

Editor
Balbiani, Philippe ; Suzuki, Nobo-Yuki ; Wolter, Frank ; Zakharyaschev, Michael
Publishing Year
PUB-ID

Cite this

Kracht M. Notes on the Space Requirement for Checking Satisfiability in Modal Logics. In: Balbiani P, Suzuki N-Y, Wolter F, Zakharyaschev M, eds. Advances in Modal Logic 4. King's College Publications; 2003: 243-264.
Kracht, M. (2003). Notes on the Space Requirement for Checking Satisfiability in Modal Logics. In P. Balbiani, N. - Y. Suzuki, F. Wolter, & M. Zakharyaschev (Eds.), Advances in Modal Logic 4 (pp. 243-264). King's College Publications.
Kracht, M. (2003). “Notes on the Space Requirement for Checking Satisfiability in Modal Logics” in Advances in Modal Logic 4, ed. P. Balbiani, N. - Y. Suzuki, F. Wolter, and M. Zakharyaschev (King's College Publications), 243-264.
Kracht, M., 2003. Notes on the Space Requirement for Checking Satisfiability in Modal Logics. In P. Balbiani, et al., eds. Advances in Modal Logic 4. King's College Publications, pp. 243-264.
M. Kracht, “Notes on the Space Requirement for Checking Satisfiability in Modal Logics”, Advances in Modal Logic 4, P. Balbiani, et al., eds., King's College Publications, 2003, pp.243-264.
Kracht, M.: Notes on the Space Requirement for Checking Satisfiability in Modal Logics. In: Balbiani, P., Suzuki, N.-Y., Wolter, F., and Zakharyaschev, M. (eds.) Advances in Modal Logic 4. p. 243-264. King's College Publications (2003).
Kracht, Marcus. “Notes on the Space Requirement for Checking Satisfiability in Modal Logics”. Advances in Modal Logic 4. Ed. Philippe Balbiani, Nobo-Yuki Suzuki, Frank Wolter, and Michael Zakharyaschev. King's College Publications, 2003. 243-264.
This data publication is cited in the following publications:
This publication cites the following data publications:

Export

0 Marked Publications

Open Data PUB

Search this title in

Google Scholar