Semantics for ``Enough-Certainty'' and Fitting's Embedding of Classical Logic in S4 (bibtex)
by Gergei Bana, Mitsuhiro Okada
Reference:
Semantics for ``Enough-Certainty'' and Fitting's Embedding of Classical Logic in S4 (Gergei Bana, Mitsuhiro Okada), In 25th EACSL Annual Conference on Computer Science Logic (CSL 2016), Dagstuhl, volume 62, 2016.
Bibtex Entry:
@InProceedings{ban:oka:csl:16,
  author = 	 {Gergei Bana and Mitsuhiro Okada},
  title = 	 {Semantics for ``Enough-Certainty'' and Fitting's Embedding of Classical Logic in S4},
  booktitle = {25th EACSL Annual Conference on Computer Science Logic (CSL 2016)},
  year = 	 {2016},
  pages =	{34:1--34:18},
  volume = 62,
  publisher = {Dagstuhl}
  }
Powered by bibtexbrowser