Propositional Quantification in the Topological Semantics for S4 - researchr publication bibtex

researchr

You are not signed in
Sign in
Sign up

Philip Kremer. Propositional Quantification in the Topological Semantics for S4. Notre Dame Journal of Formal Logic, 38(2):295-313, 1997.

@article{Kremer97,
  title = {Propositional Quantification in the Topological Semantics for S4},
  author = {Philip Kremer},
  year = {1997},
  tags = {semantics},
  researchr = {https://researchr.org/publication/Kremer97},
  cites = {0},
  citedby = {0},
  journal = {Notre Dame Journal of Formal Logic},
  volume = {38},
  number = {2},
  pages = {295-313},
}

runs on WebDSL