| Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4 |
| English |
| Bana, Gergely [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >] |
| Okada, Mitsuhiro [] |
| 2016 |
| Proceedings of the 25th EACSL Annual Conference on Computer Science Logic |
| 34:1–34:18 |
| Yes |
| 25th EACSL Annual Conference on Computer Science Logic |
| August 29 – September 1, 2016 |
| http://hdl.handle.net/10993/36620 |