Decision procedures for some strong hybrid logics (2013)

First Author: Indrzejczak A

Attributed to: Automated Prover Generation funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.12775/llp.2013.022

Publication URI: http://dx.doi.org/10.12775/llp.2013.022

Type: Journal Article/Review

Parent Publication: Logic and Logical Philosophy