Mechanizing
common knowledge logic using COQ
theory and meta-theory happens especially in applications to game theory. I have chosen to embed Common Knowledge Logic into the Coq proof assis- ...
http://www.springerlink.com/index/V34583W232148V52.pdf
- Epistemic
logic and the foundations of game
theory
epistemic logic and game theory concerns the technical notions of belief and 'common belief' employed in the two disciplines. Aumann's ...
http://www.springerlink.com/index/V4H7811141L57510.pdf
- 20 MODAL
LOGIC FOR GAMES AND
INFORMATION
by W van der Hoek - Cited by 26
http://www.csc.liv.ac.uk/~frank/MLHandbook/20.pdf
- Axioms for
Game Logic with Preferences
by S van Otterloo - Related articles
http://www.csc.liv.ac.uk/~mjw/pubs/loft2004.pdf
-
Logic and Games
by J van Benthem - Cited by 55
http://www.phil.pku.edu.cn/cllct/ann_attachments/cuizz1.pdf
-
Logic and the Foundations of Game and
Decision Theory (LOFT 7)
axiomatization of the logic of conditional belief, knowledge and safe belief. ... shows that common knowledge of this stronger notion of rationality char- ...
http://www.econ.ucdavis.edu/faculty/bonanno/PDF/LOFT7_TLG.pdf
- MODAL
LOGIC AND GAME THEORY: TWO ALTERNATIVE
APPROACHES
by G Bonanno - Cited by 13
http://www.econ.ucdavis.edu/faculty/bonanno/PDF/rimini.pdf
- OPEN PROBLEMS
IN LOGIC AND GAMES
A. Baltag, L. Moss & S. Solecki, 1998, 'The Logic of Public Announcements,. Common Knowledge and Private Suspicions', Proceedings TARK 1998, ...
http://staff.science.uva.nl/~johan/LO-GA-gabbay.pdf
- Games
in Dynamic-Epistemic Logic
by J van Benthem - Cited by 88
http://staff.science.uva.nl/~johan/DEL.pdf
-
Game Logic and its Applications I $*$
by M Kaneko - 1995 - Cited by 44
http://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0927-3.pdf
- Propositional
Dynamic Logic as a Logic of
Knowledge Update and ...
by CWI Jan van Eijck - Related articles
http://homepages.cwi.nl/~jve/papers/08/liverpool/Liverpool.pdf
- Propositional
Dynamic Logic as a Logic of
Belief Revision
by J van Eijck - Cited by 2
http://homepages.cwi.nl/~jve/papers/08/wollic08/pdlbrFINAL.pdf
- Yoshihito
TANAKA SOME PROOF SYSTEMS FOR PREDICATE COMMON
KNOWLEDGE ...
by Y TANAKA - 2003 - Cited by 4
http://www.iphils.uj.edu.pl/rml/rml-37/5-tanaka.pdf
- Clue
Deduction: Professor Plum Teaches Logic
by TW Neller - 2006 - Cited by 5
http://cs.gettysburg.edu/~tneller/papers/flairs06.pdf
- Logic
Programming Agents and Game Theory
by M De Vos - Cited by 7
http://tinf2.vub.ac.be/~dvermeir/papers/papers/asets.pdf
-
Dynamic Logic of Common Knowledge
in a Proof Assistant
by J ˆOME PUISSegur - Related articles
http://perso.ens-lyon.fr/pierre.lescanne/PUBLICATIONS/puissegur.pdf
-
Logic Programming and Knowledge
Representation in Computer Games
by J Šiška - Related articles
http://znalosti2008.fiit.stuba.sk/download/articles/znalosti2008-Siska.pdf
- WHERE'S THE
BRIDGE? EPISTEMOLOGY AND EPISTEMIC LOGIC Epistemic
...
by VF HENDRICKS - 2006 - Cited by 5
http://www.johnfsymons.com/where's the bridge.pdf
- Fuzzy
Logic in Agent-Based Game
Design
by Y Li - Cited by 7
http://www.ece.ualberta.ca/~wyard/papers/NAFIPS2004.pdf
-
Chapter 1 INDEPENDENCE-FRIENDLY LOGIC AND GAMES OF
INCOMPLETE ...
by AV Pietarinen - Related articles
http://www.helsinki.fi/~pietarin/publications/IF Logic and Incomplete Information-Pietarinen.pdf
-
Chapter 18 SOME GAMES LOGIC PLAYS
by AV Pietarinen - Cited by 1
http://www.helsinki.fi/~pietarin/publications/Some Games Logic Plays-Pietarinen.pdf
-
DECISIONS, ACTIONS, AND GAMES: A LOGICAL
PERSPECTIVE Logic ...
Questions/answers: iterated and common knowledge. Epistemic logic Language p |¬φ | ... Modal logic of games plus announcement axiomatized by basic modal ...
http://ali.cmi.ac.in/icla2009/slides/jan11/invited/0900.pdf
- Logic
and game theory of Pit Hans van Ditmarsch*c March 19, 2004
...
knowledge games: both game states and game actions have a structured, com- ..... The logic of public announcements, common knowledge and private suspicions. ...
http://www.cs.otago.ac.nz/staffpriv/hans/pit.pdf
-
A Logic of Interrogation Should Be Internalized in
a Modal Logic ...
by R Nelken - Cited by 3
http://semanticsarchive.net/Archive/mEwOTFlO/nelken-shan-salt14.pdf
-
Epsitemic Logic: from knowledge
to Cognition
by J van Benthem - 1992to signal a broad trend toward a more dynamic logic of cognition ... philosophical and logical tradition, witness 'language games' in the philosophy of ... pointing out what happens to its concerns (including 'omniscience' and 'common ...
http://www.tark.org/proceedings/tark_mar22_92/p167-van_benthem.pdf
- Topological
Reasoning and The Logic of
Knowledge
by LS Moss - Cited by 42
http://www.tark.org/proceedings/tark_mar22_92/p95-moss.pdf
-
Knowledge and Games. Tuesdays, 11:45-1:45
pm Since Plato ...
Common Knowledge. 2. Justification Logic. Fitting and Mkrtychev models. Completeness. ... Knowledge, Belief and Counterfactual Reasoning in Games. ...
http://www.cs.gc.cuny.edu/files/Knowledge and Games.pdf
- An Asymmetric
Protocol for Argumentation Games in Defeasible
Logic
by JE Lundström - Cited by 1
http://espace.uq.edu.au/eserv/UQ:134086/n071014.pdf
- Dialogue
Games in Defeasible Logic
by S Thakur - Cited by 5
http://espace.uq.edu.au/eserv/UQ:109109/dialogues.pdf
-
Annual Conference Program (pdf, 736 kB) - BETWEEN
LOGIC AND INTUITION
A second issue is that of common knowledge, a notion ..... science, knowledge representation, game theory, economics, logic, philosophy, ...
http://www.springer.com/cda/content/document/cda_downloaddocument/Synthese_Annual+Conference_Program.pdf?SGWID=0-0-45-441998-p35761018
-
The Modal µ-Calculus and the Logic of
Common Knowledge
by L Alberucci - Cited by 14
http://www.iam.unibe.ch/til/publications/pubitems/pdfs/alb02a.pdf
-
Logic and Game Theory for Social Software
Logic of Knowledge. 2. Preferences and Utilities. 3. Logic of Games .... one in that until the child is comforted, there is common knowledge that the child ...
http://logic2005.hss.iitb.ac.in/pdfs/RohitParikh_PlenaryTalk.pdf
- The
Logic of Knowledge Based
Obligation ∗
by E Pacuit - Cited by 34
http://ai.stanford.edu/~epacuit/papers/kbo.pdf
- Neighborhood
Semantics for Modal Logic - Lecture 4
by E Pacuit - 2007 - Cited by 1
http://ai.stanford.edu/~epacuit/classes/esslli/nbhd-lec4.pdf
-
Lecture 7: Logic Example: Chess playing
Lecture 7: Logic. • Representing knowledge. • Logic in general ... change during the course of a game. • The actions have deterministic effects. ...
http://www.cs.mcgill.ca/~dprecup/courses/AI/Lectures/ai-lecture07.pdf
-
Dynamic Epistemic Logic with Assignment
is a special case of this logic. Examples include card games where cards change hands. ..... without common knowledge to that logic without announce- ...
http://www.cs.huji.ac.il/course/2005/aisemin/articles2006/docs/pa1d2_141.pdf
- Why we need to
teach logic and how can we teach it?
by M Bakó - Cited by 1
http://www.cimt.plymouth.ac.uk/journal/bakom.pdf
- Bilateral
Bargaining Game and Fuzzy Logic
in the System Handling ...
bilateral bargaining game model based on fuzzy logic to determine the price that the user and .... to the opportunity cost. pu and pb are common knowledge ...
http://ieeexplore.ieee.org/iel5/4482830/4482831/04483151.pdf
-
Temporal Action Logic for Question Answering in an
Adventure Game
by M MAGNUSSON - Cited by 1
http://www.martinmagnusson.com/publications/magnusson-doherty-2008a.pdf
- MCK:
Model Checking the Logic of
Knowledge*
by P Gammie - Cited by 79
http://www.cse.unsw.edu.au/~meyden/research/gammie_meyden.pdf
- On the
Unusual Effectiveness of Logic in Computer
ScienceĢ
by JY Halpern - 2001 - Related articles
http://www.cs.rice.edu/~vardi/papers/aaas99.jsl.pdf
- Andreas
Witzel
Areas of study: Game theory, epistemic logic, distributed computing. Technische Universität Dresden, Germany ... Common knowledge in interaction structures. ...
http://www.andreaswitzel.de/studies/cv_witzel_2010.pdf
-
Homo Sapiens as Homo Ludens
by J van Benthem - Cited by 1
http://folli.loria.fr/cds/1999/library/evening lectures/Van Benthem/ESSLLI-Game.pdf
- Logic
for Automated Mechanism Design — A Progress Report
den or should be common knowledge, and in fact, we could have coded the scenario in such a way ..... On the logic of coalitional games. In Proceedings of ...
http://www.aaai.org/Papers/AAAI/2007/AAAI07-002.pdf
- A Cut-free
Tableau Calculus for the Logic of Common
Knowledge
by P Abate - 2006 - Related articles
http://twb.rsise.anu.edu.au/files/lamas07.pdf
- Toward
Logic-Based Cognitively Robust Synthetic
Characters in ...
by S BRINGSJORD - Cited by 3
http://kryten.mm.rpi.edu/sb_etal_agi2008.pdf
-
Agreement Theorems in Dynamic- Epistemic Logic
by C Dégremont - 2009 - Cited by 2
http://www.rug.nl/filosofie/onderzoek/workingpapers/WorkingPaperRoy.pdf
- A
Complete Epistemic Logic for Multiple Agents:
Combining ...
by W van der Hoek - 1996 - Cited by 14
http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-52.pdf
-
Reasoning in Nonclassical Logics Formal reasoning First-order
...
epistemic logics and common knowledge. Nonclassical Logics – p.7/19. Temporal logics. Examples ... How much of first-order logic can be covered by temporal formulas? ... game theory, economics. Nonclassical Logics – p.18/19 ...
http://www.jaist.ac.jp/jaist-coe/eng/conferences/symposia_list/COEsymposium2005/symposiumH17-03-11-03-Ono.pdf
-
Reasoning in Nonclassical Logics Formal reasoning First-order
...
epistemic logics and common knowledge. Nonclassical Logics – p.7/19. Temporal logics. Examples ... computer science. game theory, economics. Nonclassical Logics – p.18/19 ... theorem provers for basic modal logics — with "Logic ...
http://www.jaist.ac.jp/jaist-coe/jpn/conferences/symposia_list/COEsymposium2005/symposiumH17-03-11-03-Ono.pdf
1 2