Cited in
(10)- scientific article; zbMATH DE number 1341473 (Why is no real title available?)
- A subset-matching size-bounded cache for testing satisfiability in modal logics
- A labelled natural deduction system for linear temporal logic
- scientific article; zbMATH DE number 1301971 (Why is no real title available?)
- A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
- CardKt
- ModLeanTAP
- scientific article; zbMATH DE number 1706231 (Why is no real title available?)
- 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
