KtSeqC

MaRDI QIDQ24296swMATHFDO

Official website http://users.cecs.anu.edu.au/~rpg/KtSeqC/

Cited in

(10)

• A labelled natural deduction system for linear temporal logic
• CardKt
• A subset-matching size-bounded cache for testing satisfiability in modal logics
• ModLeanTAP
• scientific article; zbMATH DE number 1706231 (Why is no real title available?)
• scientific article; zbMATH DE number 1301971 (Why is no real title available?)
• scientific article; zbMATH DE number 1341473 (Why is no real title available?)
• A useful four-valued extension of the temporal logic \(\mathsf{K}_{\mathsf t}\mathsf{T4}\)
• POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
• Natural deduction, hybrid systems and modal logics

This page was built for software: KtSeqC