Browsing Electronic Theses and Dissertations (ETD) by Subject "canonicity"

DSpace/Manakin Repository

Browsing Electronic Theses and Dissertations (ETD) by Subject "canonicity"

Sort by: Order: Results:

  • Conradie, Willem Ernst (2008-03-06)
    Abstract This thesis takes an algorithmic perspective on the correspondence between modal and hybrid logics on the one hand, and first-order logic on the other. The canonicity of formulae, and by implication the ...

Search WIReDSpace


Advanced Search

Browse

My Account