PROOF THEORY OF EPISTEMIC LOGIC OF PROGRAMS.
A combination of epistemic logic and dynamic logic of programs is presented. Although rich enough to formalize some simple game-theoretic scenarios, its axiomatization is problematic as it leads to the paradoxical conclusion that agents are omniscient. A cut-free labelled Gentzen-style proof system...
| Publicado en: | Logic & Logical Philosophy Vol. 23; no. 3; pp. 301 - 329 |
|---|---|
| Autores principales: | , |
| Formato: | Artículo |
| Publicado: |
Logic & Logical Philosophy
2014
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=196780027&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 196780027 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 14253305 DS9 jtl: Logic & Logical Philosophy issn: 14253305 maglogo: N pubinfo: dt: 2014 vid: 23 iid: 3 pid: 42904 pub: Logic & Logical Philosophy artinfo: ui: 196780027 10.12775/LLP.2013.026 ppf: 301 ppct: 28 formats: fmt: @attributes: type: P size: 1.9MB tig: atl: PROOF THEORY OF EPISTEMIC LOGIC OF PROGRAMS. aug: au: Maffezioli, Paolo Naibo, Alberto affil: Faculty of Philosophy University of Groningen Oude Boteringestraat 52 9712 GL Groningen, the Netherlands Department of Philosophy University of Paris 1 Panthéon-Sorbonne 17, rue de la Sorbonne 75005 Paris, France su: Epistemic logic Proof theory Modality (Theory of knowledge) Axioms Awareness Game theory sug: subj: Epistemic logic Proof theory Modality (Theory of knowledge) Axioms Awareness Game theory keyword: dynamic propositional logic epistemic logic epistemic paradox labelled sequent calculus structural proof theory ab: A combination of epistemic logic and dynamic logic of programs is presented. Although rich enough to formalize some simple game-theoretic scenarios, its axiomatization is problematic as it leads to the paradoxical conclusion that agents are omniscient. A cut-free labelled Gentzen-style proof system is then introduced where knowledge and action, as well as their combinations, are formulated as rules of inference, rather than axioms. This provides a logical framework for reasoning about games in a modular and systematic way, and to give a step-by-step reconstruction of agents omniscience. In particular, its semantic assumptions are made explicit and a possible solution can be found in weakening the properties of the knowledge operator. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Logic & Logical Philosophy is the property of Logic & Logical Philosophy and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Logic & Logical Philosophy holder: Logic & Logical Philosophy dt: @attributes: year: 2014 holdings: @attributes: islocal: N |
|---|