Hybrid logics with Sahlqvist axioms |
| |
| Authors: | ten Cate, Balder Marx, Maarten Viana, Petrucio |
| |
| Affiliation: | 1 ISLA, Informatics Institute, University of Amsterdam. E-mail: balder.tencate{at}uva.nl, 2 ISLA, Informatics Institute, University of Amsterdam. E-mail: marx{at}science.uva.nl, 3 Institute of Mathematics/Federal Fluminense University and PESC–COPPE/Federal University of Rio de Janeiro, Brazil. E-mail: petrucio{at}cos.ufrj.br |
| |
| Abstract: | |
| |
| Keywords: | hybrid logic completeness Beth property Sahlqvist theory |
| 本文献已被 Oxford 等数据库收录！ |
|
