Complessità dell'implicazione nelle logiche cumulative di dipendenza

Fatti principali

• L'articolo dimostra risultati di complessità per l'implicazione nella logica proposizionale cumulativa di dipendenza.
• Copre anche la logica proposizionale cumulativa con semantica di team.
• Le logiche cumulative sono caratterizzate dal Sistema C.
• Sono catturate dai modelli cumulativi di Kraus, Lehmann e Magidor.
• Il problema dell'implicazione è considerato tramite modelli relazionali.
• Pubblicato su arXiv sotto Computer Science > Logic in Computer Science.
• Cronologia delle sottomissioni disponibile.
• Contesto di navigazione attuale: Logic in Computer Science.