KtSeqC
From MaRDI portal
Software:24296
swMATH12367MaRDI QIDQ24296FDOQ24296
Author name not available (Why is that?)
Cited In (8)
- Title not available (Why is that?)
- A subset-matching size-bounded cache for testing satisfiability in modal logics
- Title not available (Why is that?)
- A labelled natural deduction system for linear temporal logic
- Title not available (Why is that?)
- Natural deduction, hybrid systems and modal logics
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
- Useful Four-Valued Extension of the Temporal Logic KtT4
This page was built for software: KtSeqC
