[PDF] Top 20 PP 2003 21: Logic and the Dynamics of Information

... in logic has close ties with core areas of mathematical logic, such as proof theory and model ...philosophical logic continued by other means! More recently, partly through the technology push of the ... See full document

... between logic and philosophy ...and information at the disposal of individuals or ...Theory dynamics Some of the most spectacular philosophy of science is about ways in which theories ...new ... See full document

... retraction dynamics and of information ...as information states, we can introduce a distinction between two components: ‘hard information’ tied to knowledge and ‘soft information’ tied ... See full document

... evidence dynamics Inference steps construct proofs, and hence they transform information at a syntactic level in a process of ...This dynamics seems in line with the constructivist, or intuitionist ... See full document

... complete logic of common knowledge can be axiomatized with ...PDL-techniques. Information update by elimination Now for the logical dynamics of information ...the information that ϕ is ... See full document

... Our announcement scenarios worked on strategic games. But extensive games are no obstacle. A solution algorithm like Backward Induction suggests similar epistemic procedures. As in Sec. 3, we first need to decide on ... See full document

... From logic games to game theory Logic games, though a very specialized class of rather high-brow activities, suggest issues which concern all games: cogent reasoning, playing at cards in smoky bars, or ... See full document

... partial information inherent in a game or a communicative convention to that generated by people's limitations, such as bounded memory or limited attention ...partial information to misleading, lying and ... See full document

... Dynamic actions then involve changes in plausibility orderings, in addition to just removing worlds or uncertainty links. Some relevant publications are Veltman 1996, Aucher 2003. Eventually, something like must ... See full document

... to logic, and to modal logic in ...state-based dynamics, and modal logic as a logic for dynamic systems, there are interesting links between the two ...coalgebraic logic, ... See full document

... Modal Logic Research on the relation between coalgebras and modal logic started with Moss [25] although earlier work, ...[22, 21] it was shown that modal logic for coalgebras dualise ... See full document

... Inductive Logic in the 1950s, Carnap (1952) pointed out that update requires another component, ...dynamic-epistemic logic, for agents with different memory capacities or different belief revision ... See full document

... further information whether the total system will be ...dynamic logic of public announcements to basic epistemic ...dynamic logic stays ...dynamic logic will be undecidable, too – but at ... See full document

... other logic games due to Lorenzen, Ehrenfeucht, and more recent authors such as Hodges, Blass, or ...imperfect information, uncertainty and probability, bounded rationality, repeated behaviour, or the ... See full document

... But the epistemic perspective has two further features. First, it considers many agents together, with their mutual information. This would be like having my probability about your probabilities, etc. But even ... See full document

... In: Comparative Evaluation of Multilingual Information Access Systems : 4th Workshop of the Cross-Language Evaluation Forum, CLEF 2003, Trondheim, Norway, August 21-22, 2003, Revised Sel[r] ... See full document

... periodic trajectory around the libration point. The possible control techniques investigated include solar sail area variation and solar sail pitch and yaw angle variation. Hill’s equations are used to model the ... See full document

... Dynamic Logic, see Goldblatt [32], and more recently, in Parikh’s Game Logic [53], Pauly’s Coalition Logic [58] and the Alternating-Time Temporal Logic of Alur et alii ... See full document

... inference, logic can be broadened to an exact theory of general information-­‐driven agency drawing on many sources, without giving up on its well-­‐established mathematical modus ...action, ... See full document

... In this paper I argue for a specific way of understanding the dynamic semantic notion of interpretation, which, like the E-type and choice function approaches, is more con- sistent with classical, referentially based ... See full document