A game semantics for system P

DOI10.1007/s11225-016-9669-9zbMath1364.03025DBLPjournals/sLogica/MartiP16OpenAlexW2382473443WikidataQ59462148 ScholiaQ59462148MaRDI QIDQ514506

Johannes Marti, Riccardo Pinosio

Publication date: 2 March 2017

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-016-9669-9

zbMATH Keywords

belief revisiongame semanticsconditional logicdialogical logicnon-monotonic consequence relations

Mathematics Subject Classification ID

Applications of game theory (91A80) Other nonclassical logic (03B60) Logics of knowledge and belief (including belief change) (03B42)

Related Items (1)

A discrete duality between nonmonotonic consequence relations and convex geometries

Cites Work

• Quick completeness proofs for some logics of conditionals
• Greedoids
• Two modellings for theory change
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Conditional logics of normality: A modal approach
• Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A game semantics for system P