swMATH12367MaRDI QIDQ24296FDOQ24296
Author name not available (Why is that?)
Official website: http://users.cecs.anu.edu.au/~rpg/KtSeqC/
Cited In (9)
- 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?)
- ModLeanTAP
- 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
