Browsing ETD Collection by Subject "Calculus"

Browsing ETD Collection by Subject "Calculus"

Sort by: Order: Results:

  • Cromberge, Michael Benjamin (2016)
    In this thesis we analyse the issue of decidability for two modal logics which contain least binders. Towards this goal, we begin the work with a brief survey of modal logic, PDL, the modal -calculus and algebraic ...

Search WIReDSpace


Browse

My Account