Decidability, Topological Semantics and Completeness for S4

Aladin Research Commons

Decidability, Topological Semantics and Completeness for S4

Show full item record

Title: Decidability, Topological Semantics and Completeness for S4
Author: Malerich, Christopher
URI: http://hdl.handle.net/1961/10642
Date: 2012-07-31


Files in this item

Files Size Format View
Malerich, Christopher- Spring 12.pdf 344.3Kb PDF View/Open

The following license files are associated with this item:

This item appears in the following Collection(s)

Show full item record

By attribution only; Non-commercial uses only; No derivative works. Copyright 2012, Christopher Malerich. Except where otherwise noted, this item's license is described as By attribution only; Non-commercial uses only; No derivative works. Copyright 2012, Christopher Malerich.

Search DSpace


Advanced Search

Browse

My Account

Statistics