Propositional discourse logic (Q484942): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+B60
@@ Property / Mathematics Subject Classification ID: 03B60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B65
@@ Property / Mathematics Subject Classification ID: 03B65 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6384585
@@ Property / zbMATH DE Number: 6384585 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+semantic paradox
@@ Property / zbMATH Keywords: semantic paradox / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+circularity
@@ Property / zbMATH Keywords: circularity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+kernels of digraphs
@@ Property / zbMATH Keywords: kernels of digraphs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+classical logic
@@ Property / zbMATH Keywords: classical logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+graph normal form
@@ Property / zbMATH Keywords: graph normal form / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11229-013-0297-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2078907763
@@ Property / OpenAlex ID: W2078907763 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic and Quantitative Approaches to Reasoning with Uncertainty
+Normal rank
@@ Property / cites work @@
+SCC-recursiveness: a general schema for argumentation semantics
+Normal rank
@@ Property / cites work @@
+Q4717366
@@ Property / cites work: Q4717366 / rank @@
+Normal rank
@@ Property / cites work @@
+Is Yablo's paradox non-circular?
@@ Property / cites work: Is Yablo's paradox non-circular? / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive power of digraph solvability
@@ Property / cites work: Expressive power of digraph solvability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4489073
@@ Property / cites work: Q4489073 / rank @@
+Normal rank
@@ Property / cites work @@
+Perfect graphs, kernels, and cores of cooperative games
+Normal rank
@@ Property / cites work @@
+On kernels and semikernels of digraphs
@@ Property / cites work: On kernels and semikernels of digraphs / rank @@
+Normal rank
@@ Property / cites work @@
+Patterns of paradox
@@ Property / cites work: Patterns of paradox / rank @@
+Normal rank
@@ Property / cites work @@
+The class of problems that are linearly equivalent to Satisfiability or a uniform method for proving NP-completeness
+Normal rank
@@ Property / cites work @@
+A graph-theoretic approach to default logic
@@ Property / cites work: A graph-theoretic approach to default logic / rank @@
+Normal rank
@@ Property / cites work @@
+On kernels, defaults and even graphs
@@ Property / cites work: On kernels, defaults and even graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Graph theoretical structures in logic programs and default theories
+Normal rank
@@ Property / cites work @@
+Graphes Noyau-Parfaits
@@ Property / cites work: Graphes Noyau-Parfaits / rank @@
+Normal rank
@@ Property / cites work @@
+Une généralisation du théorème de Richardson sur l'existence de noyaux dans les graphes orientes
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+Modal provability foundations for argumentation networks
+Normal rank
@@ Property / cites work @@
+Q3484809
@@ Property / cites work: Q3484809 / rank @@
+Normal rank
@@ Property / cites work @@
+Outline of a Theory of Truth
@@ Property / cites work: Outline of a Theory of Truth / rank @@
+Normal rank
@@ Property / cites work @@
+Q4789446
@@ Property / cites work: Q4789446 / rank @@
+Normal rank
@@ Property / cites work @@
+Yablo's paradox
@@ Property / cites work: Yablo's paradox / rank @@
+Normal rank
@@ Property / cites work @@
+Solutions of irreflexive relations
@@ Property / cites work: Solutions of irreflexive relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q2892811
@@ Property / cites work: Q2892811 / rank @@
+Normal rank
@@ Property / cites work @@
+Reference, paradoxes and truth
@@ Property / cites work: Reference, paradoxes and truth / rank @@
+Normal rank
@@ Property / cites work @@
+Finding kernels or solving SAT
@@ Property / cites work: Finding kernels or solving SAT / rank @@
+Normal rank
@@ Property / cites work @@
+Paradox without Self-Reference
@@ Property / cites work: Paradox without Self-Reference / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:484942