On the Logic of the Standard Proof Predicate
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
On the Complexity of Explicit Modal Logics
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
On epistemic logic with justification
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Making knowledge explicit: how hard it is
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
On the complexity of the reflected logic of proofs
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Proof Identity for Classical Logic: Generalizing to Normality
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Conservativity for Logics of Justified Belief
LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science
Justification logics, logics of knowledge, and conservativity
Annals of Mathematics and Artificial Intelligence
Evidence elimination in multi-agent justification logic
Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge
Propositional games with explicit strategies
Information and Computation
An Equivalence between Dependencies in Nested Databases and a Fragment of Propositional Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Pillars of computer science
Topological semantics of justification logic
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
Fields of logic and computation
A complexity question in justification logic
WoLLIC'11 Proceedings of the 18th international conference on Logic, language, information and computation
Evidence reconstruction of epistemic modal logic S5
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Multi-agent explicit knowledge
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Logical omniscience via proof complexity
CSL'06 Proceedings of the 20th international conference on Computer Science Logic
Symbolic models for single-conclusion proof logics
CSR'10 Proceedings of the 5th international conference on Computer Science: theory and Applications
The Ontology of Justifications in the Logical Setting
Studia Logica
Knowledge, Time, and the Problem of Logical Omniscience
Fundamenta Informaticae - Logic, Language, Information and Computation
Decidability for justification logics revisited
TbiLLC'11 Proceedings of the 9th international conference on Logic, Language, and Computation
Prehistoric Graph in Modal Derivations and Self-Referentiality
Theory of Computing Systems
| Hi-index | 0.00 |