Browsing by Subject "canonicity"

Browsing 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


My Account