KtSeqC

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