{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T09:28:27Z","timestamp":1766136507287},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662441152"},{"type":"electronic","value":"9783662441169"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44116-9_6","type":"book-chapter","created":{"date-parts":[[2014,7,10]],"date-time":"2014-07-10T03:50:37Z","timestamp":1404964237000},"page":"69-90","source":"Crossref","is-referenced-by-count":2,"title":["On a Formal Connection between Truth, Argumentation and Belief"],"prefix":"10.1007","author":[{"given":"Sjur","family":"Dyrkolbotn","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Aczel, P.: Non-wellfounded sets. Technical Report\u00a014, CSLI (1988)"},{"issue":"2","key":"6_CR2","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.jal.2013.03.009","volume":"11","author":"O. Arieli","year":"2013","unstructured":"Arieli, O., Caminada, M.W.A.: A QBF-based formalization of abstract argumentation semantics. Journal of Applied Logic\u00a011(2), 229\u2013252 (2013)","journal-title":"Journal of Applied Logic"},{"key":"6_CR3","volume-title":"Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena","author":"J. Barwise","year":"1996","unstructured":"Barwise, J., Moss, L.: Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena. CSLI, Stanford (1996)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Beall, J.C.: Revenge of the Liar: New Essays on the Paradox. Oxford University Press (2007)","DOI":"10.1093\/oso\/9780199233915.001.0001"},{"issue":"3","key":"6_CR5","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1016\/j.apal.2011.08.004","volume":"163","author":"M. Bezem","year":"2012","unstructured":"Bezem, M., Grabmayer, C., Walicki, M.: Expressive power of digraph solvability. Ann. Pure Appl. Logic\u00a0163(3), 200\u2013213 (2012)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"6_CR6","first-page":"89","volume":"28","author":"J.-Y. B\u00e9ziau","year":"1998","unstructured":"B\u00e9ziau, J.-Y.: A sequent calculus for \u0141ukasiewicz\u2019s three-valued logic based on Suszko\u2019s bivalent semantics. Bulletin of the Section of Logic\u00a028(2), 89\u201397 (1998)","journal-title":"Bulletin of the Section of Logic"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"2336","DOI":"10.1016\/j.disc.2005.12.031","volume":"306","author":"E. Boros","year":"2006","unstructured":"Boros, E., Gurvich, V.: Perfect graphs, kernels and cooperative games. Discrete Mathematics\u00a0306, 2336\u20132354 (2006)","journal-title":"Discrete Mathematics"},{"key":"6_CR8","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1007\/11853886_11","volume-title":"Logics in Artificial Intelligence","author":"M. Caminada","year":"2006","unstructured":"Caminada, M.: On the issue of reinstatement in argumentation. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol.\u00a04160, pp. 111\u2013123. Springer, Heidelberg (2006)"},{"issue":"2-3","key":"6_CR9","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s11225-009-9218-x","volume":"93","author":"M.W.A. Caminada","year":"2009","unstructured":"Caminada, M.W.A., Gabbay, D.M.: A logical account of formal argumentation. Studia Logica\u00a093(2-3), 109\u2013145 (2009)","journal-title":"Studia Logica"},{"key":"6_CR10","first-page":"121","volume-title":"Proceedings of the 2006 Conference on Computational Models of Argument: Proceedings of COMMA 2006","author":"M.W.A. Caminada","year":"2006","unstructured":"Caminada, M.W.A.: Semi-stable semantics. In: Proceedings of the 2006 Conference on Computational Models of Argument: Proceedings of COMMA 2006, pp. 121\u2013130. IOS Press, Amsterdam (2006)"},{"issue":"3","key":"6_CR11","doi-asserted-by":"publisher","first-page":"767","DOI":"10.2178\/jsl\/1096901765","volume":"69","author":"R. Cook","year":"2004","unstructured":"Cook, R.: Patterns of paradox. The Journal of Symbolic Logic\u00a069(3), 767\u2013774 (2004)","journal-title":"The Journal of Symbolic Logic"},{"issue":"1-2","key":"6_CR12","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/S0304-3975(96)80707-9","volume":"170","author":"Y. Dimopoulos","year":"1996","unstructured":"Dimopoulos, Y., Torres, A.: Graph theoretical structures in logic programs and default theories. Theoretical Computer Science\u00a0170(1-2), 209\u2013244 (1996)","journal-title":"Theoretical Computer Science"},{"key":"6_CR13","unstructured":"Doutre, S.: Autour de la s\u00e9matique pr\u00e9f\u00e9r\u00e9e des syst\u00e8mes d\u2019argumentation. PhD thesis, Universit\u00e9 Paul Sabatier, Toulouse (2002)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1016\/S0167-5060(08)70041-4","volume":"9","author":"P. Duchet","year":"1980","unstructured":"Duchet, P.: Graphes noyau-parfaits, II. Annals of Discrete Mathematics\u00a09, 93\u2013101 (1980)","journal-title":"Annals of Discrete Mathematics"},{"issue":"1","key":"6_CR15","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/0012-365X(83)90017-1","volume":"43","author":"P. Duchet","year":"1983","unstructured":"Duchet, P., Meyniel, H.: Une g\u00e9n\u00e9ralisation du th\u00e9or\u00e8me de Richardson sur l\u2019existence de noyaux dans les graphes orient\u00e9s. Discrete Mathematics\u00a043(1), 21\u201327 (1983)","journal-title":"Discrete Mathematics"},{"key":"6_CR16","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence\u00a077, 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"issue":"16","key":"6_CR17","doi-asserted-by":"publisher","first-page":"2498","DOI":"10.1016\/j.disc.2012.05.004","volume":"312","author":"S. Dyrkolbotn","year":"2012","unstructured":"Dyrkolbotn, S., Walicki, M.: Kernels in digraphs that are not kernel perfect. Discrete Mathematics\u00a0312(16), 2498\u20132505 (2012)","journal-title":"Discrete Mathematics"},{"issue":"5","key":"6_CR18","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1007\/s11229-013-0297-x","volume":"191","author":"S. Dyrkolbotn","year":"2014","unstructured":"Dyrkolbotn, S., Walicki, M.: Propositional discourse logic. Synthese\u00a0191(5), 863\u2013899 (2014)","journal-title":"Synthese"},{"issue":"2-3","key":"6_CR19","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/s11225-009-9215-0","volume":"93","author":"D. Gabbay","year":"2009","unstructured":"Gabbay, D.: Modal provability foundations for argumentation networks. Studia Logica\u00a093(2-3), 181\u2013198 (2009)","journal-title":"Studia Logica"},{"key":"#cr-split#-6_CR20.1","doi-asserted-by":"crossref","unstructured":"Galeana-S\u00e1nchez, H., Guevara, M.-K.: Some sufficient conditions for the existence of kernels in infinite digraphs. Discrete Mathematics\u00a0309(11), 3680-3693 (2009)","DOI":"10.1016\/j.disc.2008.01.025"},{"key":"#cr-split#-6_CR20.2","unstructured":"7th International Colloquium on Graph Theory (ICGT) (2005)"},{"issue":"1","key":"6_CR21","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0012-365X(84)90131-6","volume":"48","author":"H. Galeana-S\u00e1nchez","year":"1984","unstructured":"Galeana-S\u00e1nchez, H., Neumann-Lara, V.: On kernels and semikernels of digraphs. Discrete Mathematics\u00a048(1), 67\u201376 (1984)","journal-title":"Discrete Mathematics"},{"issue":"3","key":"6_CR22","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1093\/logcom\/2.3.397","volume":"2","author":"G. Gottlob","year":"1992","unstructured":"Gottlob, G.: Complexity results for nonmonotonic logics. Journal of Logic and Computation\u00a02(3), 397\u2013425 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"6_CR23","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-21940-5_12","volume-title":"Argumentation in Multi-Agent Systems","author":"D. Grossi","year":"2011","unstructured":"Grossi, D.: Argumentation in the view of modal logic. In: McBurney, P., Rahwan, I., Parsons, S. (eds.) ArgMAS 2010. LNCS (LNAI), vol.\u00a06614, pp. 190\u2013208. Springer, Heidelberg (2011)"},{"key":"6_CR24","unstructured":"Grossi, D.: On the logic of argumentation theory. In: van der Hoek, W., Kaminka, G.A., Lesp\u00e9rance, Y., Luck, M., Sen, S. (eds.) AAMAS, pp. 409\u2013416. IFAAMAS (2010)"},{"issue":"19","key":"6_CR25","doi-asserted-by":"publisher","first-page":"690","DOI":"10.2307\/2024634","volume":"72","author":"S. Kripke","year":"1975","unstructured":"Kripke, S.: Outline of a theory of truth. The Journal of Philosophy\u00a072(19), 690\u2013716 (1975)","journal-title":"The Journal of Philosophy"},{"key":"6_CR26","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"Selected works, edited by L. Borkowski","author":"J. \u0141ukasiewicz","year":"1970","unstructured":"\u0141ukasiewicz, J.: Selected works, edited by L. Borkowski. Studies in Logic and the Foundations of Mathematics. North Holland, Amsterdam (1970)"},{"key":"6_CR27","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1017\/S0140525X10000968","volume":"34","author":"H. Mercier","year":"2011","unstructured":"Mercier, H., Sperber, D.: Why do humans reason? Arguments for an argumentative theory. Behavioral and Brain Sciences\u00a034, 57\u201374 (2011)","journal-title":"Behavioral and Brain Sciences"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/BF01788692","volume":"5","author":"E.C. Milner","year":"1989","unstructured":"Milner, E.C., Woodrow, R.E.: On directed graphs with an independent covering set. Graphs and Combinatorics\u00a05, 363\u2013369 (1989)","journal-title":"Graphs and Combinatorics"},{"key":"6_CR29","unstructured":"Minari, P.: A note on \u0141ukasiewicz\u2019s three-valued logic. Annali del Dipartimento di Filosofia dell\u2019Universit\u00e1 di Firenze\u00a08(1) (2002)"},{"key":"6_CR30","unstructured":"Neumann-Lara, V.: Semin\u00facleos de una digr\u00e1fica. Technical report, Anales del Instituto de Matem\u00e1ticas II, Universidad Nacional Aut\u00f3noma M\u00e9xico (1971)"},{"issue":"1","key":"6_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90103-5","volume":"57","author":"J.L. Pollock","year":"1992","unstructured":"Pollock, J.L.: How to reason defeasibly. Artif. Intell.\u00a057(1), 1\u201342 (1992)","journal-title":"Artif. Intell."},{"key":"6_CR32","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/BF00258428","volume":"8","author":"G. Priest","year":"1979","unstructured":"Priest, G.: The logic of paradox. Journal of Philosophical Logic\u00a08, 219\u2013241 (1979)","journal-title":"Journal of Philosophical Logic"},{"key":"6_CR33","volume-title":"The ways of paradox and other essays","author":"W.V. Quine","year":"1966","unstructured":"Quine, W.V.: The ways of paradox and other essays. Random House, New York (1966)"},{"issue":"5","key":"6_CR34","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1007\/s10992-012-9246-2","volume":"42","author":"L. Rabern","year":"2013","unstructured":"Rabern, L., Rabern, B., Macauley, M.: Dangerous reference graphs and semantic paradoxes. Journal of Philosophical Logic\u00a042(5), 727\u2013765 (2013)","journal-title":"Journal of Philosophical Logic"},{"key":"6_CR35","doi-asserted-by":"crossref","unstructured":"Rahwan, I., Simari, G.R. (eds.): Argumentation in artificial intelligence. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0"},{"issue":"1-2","key":"6_CR36","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artif. Intell.\u00a013(1-2), 81\u2013132 (1980)","journal-title":"Artif. Intell."},{"key":"6_CR37","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1090\/S0002-9904-1946-08518-3","volume":"52","author":"M. Richardson","year":"1946","unstructured":"Richardson, M.: On weakly ordered systems. Bulletin of the American Mathematical Society\u00a052, 113\u2013116 (1946)","journal-title":"Bulletin of the American Mathematical Society"},{"issue":"3","key":"6_CR38","doi-asserted-by":"publisher","first-page":"573","DOI":"10.2307\/1969755","volume":"58","author":"M. Richardson","year":"1953","unstructured":"Richardson, M.: Solutions of irreflexive relations. The Annals of Mathematics, Second Series\u00a058(3), 573\u2013590 (1953)","journal-title":"The Annals of Mathematics, Second Series"},{"key":"6_CR39","unstructured":"Tarski, A.: The concept of truth in formalised languages. In: Corcoran, J. (ed.) Logic, Semantics, Metamathematics, papers from 1923 to 1938, Hackett Publishing Company (1983) (translation of the Polish original from 1933)"},{"key":"6_CR40","unstructured":"von Neumann, J., Morgenstern, O.: Theory of Games and Economic Behavior. Princeton University Press (1944, 1947)"},{"key":"6_CR41","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.jda.2011.11.004","volume":"10","author":"M. Walicki","year":"2012","unstructured":"Walicki, M., Dyrkolbotn, S.: Finding kernels or solving SAT. Journal of Discrete Algorithms\u00a010, 146\u2013164 (2012)","journal-title":"Journal of Discrete Algorithms"},{"issue":"2-3","key":"6_CR42","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/s11225-009-9210-5","volume":"93","author":"Y. Wu","year":"2009","unstructured":"Wu, Y., Caminada, M.W.A., Gabbay, D.M.: Complete extensions in argumentation coincide with 3-valued stable models in logic programming. Studia Logica\u00a093(2-3), 383\u2013403 (2009)","journal-title":"Studia Logica"},{"issue":"4","key":"6_CR43","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1093\/analys\/53.4.251","volume":"53","author":"S. Yablo","year":"1993","unstructured":"Yablo, S.: Paradox without self-reference. Analysis\u00a053(4), 251\u2013252 (1993)","journal-title":"Analysis"}],"container-title":["Lecture Notes in Computer Science","Pristine Perspectives on Logic, Language, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44116-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,29]],"date-time":"2024-05-29T13:35:30Z","timestamp":1716989730000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44116-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662441152","9783662441169"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44116-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}