Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4
Bana, Gergely; Okada, Mitsuhiro
2016In Proceedings of the 25th EACSL Annual Conference on Computer Science Logic
Peer reviewed
 

Files


Full Text
CSL2016.pdf
Publisher postprint (495.39 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Bana, Gergely ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Okada, Mitsuhiro
External co-authors :
yes
Language :
English
Title :
Semantics for “Enough-Certainty" and Fitting’s Embedding of Classical Logic in S4
Publication date :
2016
Event name :
25th EACSL Annual Conference on Computer Science Logic
Event date :
August 29 – September 1, 2016
Main work title :
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic
Pages :
34:1–34:18
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 19 September 2018

Statistics


Number of views
61 (1 by Unilu)
Number of downloads
23 (1 by Unilu)

Scopus citations®
 
1
Scopus citations®
without self-citations
0

Bibliography


Similar publications



Contact ORBilu