Results 21 to 30 of about 46 (36)
Preservation of interpolation features by fibring
, 2004 Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the two given logics are presented by deductive systems of the same type.
Walter Carnielli +1 more
core
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: