The following pages link to Synchronization of logics (Q1372360):
Displaying 9 items.
- Synchronized linear-time temporal logic (Q647400) (← links)
- An NP-complete fragment of fibring logic (Q905999) (← links)
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics (Q1748473) (← links)
- Probabilization of logics: completeness and decidability (Q2254552) (← links)
- Synchronized frames for Gödel's universe (Q2365649) (← links)
- Fibring: Completeness preservation (Q2732291) (← links)
- (Q3355293) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
- Synchronizing the consistency relation (Q6175045) (← links)