[PDF] Top 20 PP 2008 04: The Stories of Logic and Information

... Epistemic-doxastic logic is a somewhat austere account of qualitative ...in information as range provides a rather poor analysis of knowledge in the philosopher's demanding sense, where the quest for a ... See full document

... and logic as separate fields: logic is much broader than philosophy, and philosophy is much broader than ...contact, logic can help to clarify philosophical views and make them precise, but at the ... See full document

... semantic information, one may view the set Σ of formulas available at a world w as an agent’s access to that ...semantic information, did increase the agent’s access to the final world by adding an explicit ... See full document

... between logic and dynamical systems, a standard tool for analyzing evolutionary ...topological logic of time (Kremer and Mints, 2007), fixed- point logics of oscillation (van Benthem, 2015), and a ... See full document

... In § 3, we have discussed the methodological problems encountered while formal- izing the stories. Some of the problems were created by our particular choice of the formal model. A formal model including some ... See full document

... Knowing that penguins are also birds, what should we conclude from these argumentations? Should we use the first line of argument and conclude that Tweety flies or use the second and conclude that Tweety doesn’t? The ... See full document

... natural logic program as ...this information must be combined, and one module must be able to feed quickly into ...total logic is not just a maximum of the complexities of the ...natural ... See full document

... We can introduce a static modal language here with modalities for both the weak and strict versions of the ordering, plus an existential modality. At least I would find that attractive as a most direct reflection of the ... See full document

... many logic games, and some fit natural language just as well as evaluation games for sentences ϕ against models ...semantic information states, unless the pressures on the successive updates become too ... See full document

... [7] W. Hodges. Logics of imperfect information: why sets of assignments? In D.; van Benthem, J.; Gabbay and B. L¨ owe, editors, Proceedings of 7th De Morgan Workshop ’Interactive Logic: Games and Social ... See full document

... epistemic logic is a framework for modeling information in observed events, but also a calculus for such scenarios, with crucial ‘dynamic system equations’ telling us which information agents have ... See full document

... This formula looks complex, and we will not give a detailed explanation here. But after all, we are describing a more subtle informational process now than mere epistemic update. Richer dynamic doxastic logics handle ... See full document

... of information in isolation from the processes which create, modify, and convey ...of information? There is a great variety of candidates: computation, inference, update, revision, correction, question ... See full document

... and logic met in the 1950s – and Jaakko Hintikka has been a pioneer ever since in introducing game-theoretic viewpoints into logic, from his early basic evaluation games for predicate logic to his ... See full document

... Epistemic Logic seem to exploit essentially the same natural features of events and how we understand them in terms of information flow and physical ... See full document

... Intuitionistic logic and multi-agent interaction But precisely through the notion of proof, intuitionistic logic seems to have even more radical connections with the theory of rational ...linear ... See full document

... There is a general method for obtaining absolute versions of given non-absolute logics L. We may assume that the non-absoluteness of L originates from the set-theoretical definition of the ternary satisfiability relation ... See full document

... possibility logic highlights the connection between two options for conceptual ...its logic into some other standard ...intuitionistic logic, but our results extend the range of ... See full document

... of information the agents never have an incentive to strategise when the plurality rule is applied (Ter- zopoulou 2017), which means that every profile is an equi- librium (see the work of Conitzer, Walsh, and Xia ... See full document

... Van Benthem, van Eij k & Kooi 2006 [5℄ solve this problem by moving to the language E-PDL whi h is just the propositional dynami logi version of epistemi logi , but now allowing the form[r] ... See full document