Reference : Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/36620
Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4
English
Bana, Gergely mailto [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

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
CSL2016.pdfPublisher postprint483.78 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.