Results 21 to 30 of about 45 (43)
Completeness and Soundness of Axiomatizations for Temporal Logics without Next
. We present axiomatizations for Until Temporal Logic (UTL) and for Since/Until Temporal Logic (SUTL). These logics are intended for use in specifying and reasoning about concurrent systems.
G. Kutty +3 more
core
Logics for stable and unstable mereological relations
Open Mathematics, 2011 Nenchev Vladislav
doaj +1 more source
Some of the next articles are maybe not open access.
Related searches:
Related searches:
On an implication connective of ${\rm RM}$.
Notre Dame Journal of Formal Logic, 1986Arnon Avron
exaly
Expressiveness and completeness of an interval tense logic.
Notre Dame Journal of Formal Logic, 1990Yde Venema
exaly
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.
Notre Dame Journal of Formal Logic, 1987J -J Ch Meyer
exaly