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
- A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
- 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
This page was built for software: KtSeqC
