Publications in ai-romatre-pubs.bib - Year: 2001
2001
[2] Ground and free-variable tableaux for variants of quantified modal logics ( and ), In Studia Logica, volume 69, . [bibtex] [url] [doi]
[1] Free-variable tableaux for constant-domain quantified modal logics with rigid and non-rigid designation ( and ), In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 2083 LNAI, . [bibtex] [url]
Powered by bibtexbrowser