scientific article; zbMATH DE number 7238899

MaRDI QIDQ5116398zbMATH OpenFDO

Authors Phan Minh Thang, Phan Minh Dung

Publication date 25 August 2020

Mathematics Subject Classification ID

Logic in computer science (03B70) Proof theory in general (including proof-theoretic semantics) (03F03) Logic in artificial intelligence (68T27)

Recommendations

• Infinite argumentation frameworks. On the existence and uniqueness of extensions
• On the proof theory of infinitary modal logic
• scientific article; zbMATH DE number 2150130
• Logics of infinite depth
• A note on iterated consistency and infinite proofs
• Infinite and finite Gleason’s theorems and the logic of indeterminacy
• Proof systems for infinite behaviours
• Some remarks on the proof-theory and the semantics of infinitary modal logic
• Automata for infinite argumentation structures

Cited in

(3)

• Dialectic proof procedures for assumption-based, admissible argumentation
• Towards a common framework for dialectical proof procedures in abstract argumentation
• Minimal strong admissibility: a complexity analysis

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5116398)