Results 1 to 10 of about 15,877 (256)
Logics of Informational Interactions [PDF]
Journal of Philosophical Logic, 2015 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Alexandru Baltag, Sonja Smets
openaire +5 more sources
Informal Logic, 2022 In the issue, Michael Gilbert first considers the history and development of his theory before Leo Groarke helpfully clarifies the differences and affinities between multi-modal and multimodal argumentation.
Informal Logic
doaj +1 more source
Informalizing Formal Logic [PDF]
Informal Logic, 2019 This paper presents a way in which formal logic can be understood and reformulated in terms of argumentation that can help us unify formal and informal reasoning. Classical deductive reasoning will be expressed entirely in terms of notions and concepts from argumentation so that formal logical entailment is equivalently captured via the arguments that ...
Kakas, Antonis, Kakas, Antonis
openaire +4 more sources
Paraconsistent Informational Logic
Journal of Applied Logic, 2005 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Forcheri P, Gentilini P
openaire +3 more sources
The Logic of Design as a Conceptual Logic of Information [PDF]
Minds and Machines, 2017 Abstract This final chapter outlines a logic of design of a system as a specific kind of conceptual logic of the design of the model of a system, that is, the blueprint that provides information about the system to be created. Section 1 uses the method of levels of abstraction to clarify that we have inherited from modernity two main ...
openaire +2 more sources
THE STORIES OF LOGIC AND INFORMATION [PDF]
, 2008 Information is a notion of wide use and great intuitive appeal, and hence, not surprisingly, different formal paradigms claim part of it, from Shannon channel theory to Kolmogorov complexity. Information is also a widely used term in logic, but a similar diversity repeats itself: there are several competing logical accounts of this notion, ranging from
van Benthem, J., Martinez, M.
openaire +2 more sources
Strategy Logic with Imperfect Information [PDF]
ACM Transactions on Computational Logic, 2017 We introduce an extension of Strategy Logic for the imperfect-information setting, called SL ii and study its model-checking problem. As this logic naturally captures multi-player games with imperfect information, this problem is undecidable; but we introduce a syntactical class of “hierarchical instances” for which,
Raphaël Berthon +4 more
openaire +6 more sources