The top documents of melvin-fitting
Partial models and logic programming
215 views
A Quantified Logic of Evidence
213 views
The family of stable models
217 views
Realizations and LP
215 views
Justification logics and hybrid logics
215 views
A simple propositional S5 tableau system
213 views
First-order modal tableaux
214 views
Bilattices and the theory of truth
213 views
Prefixed tableaus and nested sequents
215 views
Logics With Several Modal Operators
218 views
An Embedding of Classical Logic in S4
215 views
Interpolation for First Order S5
213 views