Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences
2014; Oxford University Press; Volume: 25; Issue: 3 Linguagem: Inglês
10.1093/logcom/exu016
ISSN1465-363X
AutoresArnold Beckmann, Norbert Preining,
Tópico(s)Logic, programming, and type systems
ResumoJournal Article Separating intermediate predicate logics of well-founded and dually well-founded structures by monadic sentences Get access Arnold Beckmann, Arnold Beckmann Department of Computer Science, College of Science, Swansea University, Swansea SA2 8PP, UK. Search for other works by this author on: Oxford Academic Google Scholar Norbert Preining Norbert Preining Research Center for Software Verification, Japan Advanced Institute of Science and Technology, 923-1292 Nomi, Ishikawa, Japan. Search for other works by this author on: Oxford Academic Google Scholar Journal of Logic and Computation, Volume 25, Issue 3, June 2015, Pages 527–547, https://doi.org/10.1093/logcom/exu016 Published: 17 March 2014 Article history Received: 12 November 2013 Published: 17 March 2014
Referência(s)