Browsing by Subject Tableau systems
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) | Type | Access Type |
---|---|---|---|---|
14-Mar-2016 | Proof theory for hybrid(ised) logics | Neves, Renato; Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luis S. | article |