KtSeqC
From MaRDI portal
Software:24296
No author found.
Related Items (8)
Useful Four-Valued Extension of the Temporal Logic KtT4 ⋮ Unnamed Item ⋮ A labelled natural deduction system for linear temporal logic ⋮ Natural deduction, hybrid systems and modal logics ⋮ Unnamed Item ⋮ Unnamed Item ⋮ POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION ⋮ A subset-matching size-bounded cache for testing satisfiability in modal logics
This page was built for software: KtSeqC
