[PDF] Top 20 PP 2008 37: The Information in Intuitionistic Logic

... this logic, depending on how much agents are taken to know about the current ...earlier intuitionistic/modal models as investigative processes mixing factual and procedural ... See full document

... In this section we briefly recall the relational semantics for the intuitionistic propositional calculus IPC. For a detailed information about IPC, we refer to [4]. Definition 1 (Kripke Frames and Models) A ... See full document

... information update at both levels: worlds may be removed, but also, sentences may be added. In this setting, I will explore the idea that the fundamental distinction in the preceding discussion is not between ... See full document

... Of course, this is only the beginning of an array of further questions. In particular, we would like to have a more structured account of memory, as in computer science where we update data or knowledge bases. Update ... 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

... 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

... 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

... 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

... that logic can move beyond the standard paradigm of abstract consequence relations, or at best, a lonely theorem prover or computer to become an account of rational agents who observe, infer, communicate, learn, ... See full document

... The aim of this paper is to merge two logical frameworks which have both been developed in recent years to analyze the exchange of information through linguistic communication. The first framework is that of ... See full document

... transform information at a syntactic level in a process of ...successive information stages in the course of a mathematical ...of information, without any obvious recasting as proof or ...of ... See full document

... new information about the empirical facts, and about other agents ...recording information of different ...explicit logic to give an account of intelligent interaction between rational ... See full document

... th e model o f incom plete e x p r e ssio n s, as failin g to stan d for a n y th in g . But h is m eans for a ch iev in g th is sim ilar end d iffe r s in eith er case. E xploitation of th e tech n ica l d ev ice of ... See full document

... intermediate logic we can associate its modal companions – modal logics obtained via the G¨odel translation (see, ...every intuitionistic formula ϕ to a modal formula T (ϕ) such that for any Kripke frame F, ... See full document

... In spite of these claims and results, it was shown by Janssen & Dechesne (2006) that many of the mentioned properties do not hold for IF-logic in full generality. There is a common element in those failures: ... See full document

... This semantics seems rather promising with respect to direct proofs in lower bounds for two reasons. First, by altering properties of G we can make some axioms true and others not. Second, this approach is similar to the ... See full document

... do not obtain α ⊩ f → ∀ XY (X = Y ). In fact, recall Proposition 4.2.1 (where we now have to take two kinds of variables into account), from ∀ xy(x = y) ∧ ∀ XY (X = Y ), all formulas can be proven. Taking this as an ... See full document

... modal logic and medieval logic as presented in these three texts comes from the ...modal logic, emphasis is placed on the truth conditions of the modal propositions considered in and of themselves; ... 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