@article{oai:tsukuba.repo.nii.ac.jp:00015869,
author = {Mizutani, Chiharu},
journal = {Tsukuba journal of mathematics},
month = {Dec},
note = {In this paper, we will show that a monadic second order logic with an added quantifier Q is decidable. We begin with a description of some known facts concerning the decision problem for the predicate calculus. ...},
pages = {45--76},
title = {Monadic second order logic with an added quantifier Q},
volume = {1},
year = {1977}
}