A game semantics for system P (Q514506): Difference between revisions

Latest revision as of 08:40, 13 November 2024

scientific article

Language	Label	Description	Also known as
English	A game semantics for system P	scientific article

Statements

instance of

scholarly article

0 references

title

A game semantics for system P (English)

0 references

published in

Studia Logica

0 references

publication date

2 March 2017

0 references

review text

The works on game semantics for non-classical logics are finally getting more and more visible (including the current authors'). This paper presents a game semantics for a non-monotonic logic, called System P. The game is not easy. Its types are not straight-forward. Yet, the authors achieve it well to relate it to a well-known semantics of the System P, develop further technical results and achieve a completeness result.

0 references

zbMATH Keywords

non-monotonic consequence relations

0 references

conditional logic

0 references

belief revision

0 references

game semantics

0 references

dialogical logic

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1007/s11225-016-9669-9

0 references

cites work

Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision

0 references

Conditional logics of normality: A modal approach

0 references

Quick completeness proofs for some logics of conditionals

0 references

Nonmonotonic reasoning, preferential models and cumulative logics

0 references

Two modellings for theory change

0 references

What does a conditional knowledge base entail?

0 references

0 references

0 references

0 references

0 references

Identifiers

zbMATH Open document ID

1364.03025

0 references

DOI

10.1007/s11225-016-9669-9

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

journals/sLogica/MartiP16

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:514506

@@ Property / author @@
-Johannes Marti
@@ Property / author: Johannes Marti / rank @@
-Normal rank
@@ Property / author @@
-Riccardo Pinosio
@@ Property / author: Riccardo Pinosio / rank @@
-Normal rank
@@ Property / review text @@
+The works on game semantics for non-classical logics are finally getting more and more visible (including the current authors'). This paper presents a game semantics for a non-monotonic logic, called System P.  The game is not easy. Its types are not straight-forward. Yet, the authors achieve it well to relate it to a well-known semantics of the System P, develop further technical results and achieve a completeness result.
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B42
@@ Property / Mathematics Subject Classification ID: 03B42 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B60
@@ Property / Mathematics Subject Classification ID: 03B60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A80
@@ Property / Mathematics Subject Classification ID: 91A80 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6690914
@@ Property / zbMATH DE Number: 6690914 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+non-monotonic consequence relations
@@ Property / zbMATH Keywords: non-monotonic consequence relations / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+conditional logic
@@ Property / zbMATH Keywords: conditional logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+belief revision
@@ Property / zbMATH Keywords: belief revision / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+game semantics
@@ Property / zbMATH Keywords: game semantics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dialogical logic
@@ Property / zbMATH Keywords: dialogical logic / rank @@
+Normal rank
@@ Property / author @@
+Johannes Marti
@@ Property / author: Johannes Marti / rank @@
+Normal rank
@@ Property / author @@
+Riccardo Pinosio
@@ Property / author: Riccardo Pinosio / rank @@
+Normal rank
@@ Property / reviewed by @@
+Can Başkent
@@ Property / reviewed by: Can Başkent / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s11225-016-9669-9
+Normal rank
@@ Property / OpenAlex ID @@
+W2382473443
@@ Property / OpenAlex ID: W2382473443 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59462148
@@ Property / Wikidata QID: Q59462148 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional Doxastic Models: A Qualitative Approach to Dynamic Belief Revision
+Normal rank
@@ Property / cites work @@
+Conditional logics of normality: A modal approach
@@ Property / cites work: Conditional logics of normality: A modal approach / rank @@
+Normal rank
@@ Property / cites work @@
+Quick completeness proofs for some logics of conditionals
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+Normal rank
@@ Property / cites work @@
+Two modellings for theory change
@@ Property / cites work: Two modellings for theory change / rank @@
+Normal rank
@@ Property / cites work @@
+What does a conditional knowledge base entail?
@@ Property / cites work: What does a conditional knowledge base entail? / rank @@
+Normal rank
@@ Property / cites work @@
+Greedoids
@@ Property / cites work: Greedoids / rank @@
+Normal rank
@@ Property / cites work @@
+Q3563381
@@ Property / cites work: Q3563381 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3620028
@@ Property / cites work: Q3620028 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3078324
@@ Property / cites work: Q3078324 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/sLogica/MartiP16
@@ Property / DBLP publication ID: journals/sLogica/MartiP16 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:514506