Categorical and Kripke Semantics for Constructive S4 Modal Logic
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Connectionist computations of intuitionistic reasoning
Theoretical Computer Science
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Towards Constructive DL for Abstraction and Refinement
Journal of Automated Reasoning
Model checking for action abstraction
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
Cut-free Gentzen calculus for multimodal CK
Information and Computation
Descriptive and relative completeness of logics for higher-order functions
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Cut elimination in nested sequents for intuitionistic modal logics
FOSSACS'13 Proceedings of the 16th international conference on Foundations of Software Science and Computation Structures
Belief semantics of authorization logic
Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security
Hi-index | 0.00 |