The following pages link to Synchronization of logics (Q1372360):
Displaying 5 items.
- 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)
- Fibring: completeness preservation (Q2732291) (← links)
- REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION (Q5009679) (← links)
