@misc{indiciae031c4c6cdd9c,
  title = {Denotational semantics for modal systems S3--S5 extended by axioms for propositional quantifiers and identity},
  author = {Steffen Lewitzka},
  year = {2014},
  doi = {10.1007/s11225-014-9577-9},
  url = {https://arxiv.org/abs/1212.6576},
  note = {Source identifier: 1212.6576}
}