Propositional dynamic logic for searching games with errors

DOI10.1016/J.JAL.2014.04.001zbMATH Open1395.03011arXiv1401.7234OpenAlexW2028191118MaRDI QIDQ472791FDOQ472791

Authors: Bruno Teheux 

Publication date: 20 November 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Abstract: We investigate some finitely-valued generalizations of propositional dynamic logic with tests. We start by introducing the (n+1)-valued Kripke models and a corresponding language based on a modal extension of {L}ukasiewicz many-valued logic. We illustrate the definitions by providing a framework for an analysis of the R'enyi - Ulam searching game with errors. Our main result is the axiomatization of the theory of the (n+1)-valued Kripke models. This result is obtained through filtration of the canonical model of the smallest (n+1)-valued propositional dynamic logic.

Full work available at URL: https://arxiv.org/abs/1401.7234

Recommendations

• Games in dynamic-epistemic logic
• A game semantics for proof search (preliminary results)
• A game semantics for disjunctive logic programming
• Game characterizations of logic program properties
• scientific article; zbMATH DE number 1954127
• Model-checking games for logics of imperfect information
• Finite reasoning procedures for dynamic games
• Game semantics for non-monotonic intensional logic programming
• Game semantics for non-monotonic intensional logic programming
• Towards a probabilistic interpretation of game logic

zbMATH Keywords

Kripke modelsmany-valued logicsMV-algebraspropositional dynamic logicŁukasiewicz logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Logic in computer science (03B70) MV-algebras (06D35)

Cites Work

• Logics of communication and change
• Propositional dynamic logic of regular programs
• Algebraic foundations of many-valued reasoning
• Algebraic Analysis of Many Valued Logics
• A New Proof of the Completeness of the Lukasiewicz Axioms
• Title not available (Why is that?)
• A Modal Logic for Coalitional Power in Games
• Title not available (Why is that?)
• Reasoning about games
• MV-algebras: a variety for magnitudes with archimedean units
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Many-Valued Modal Propositional Calculi
• Title not available (Why is that?)
• Dynamic epistemic logic
• Title not available (Why is that?)
• Verified software: Theories, tools, experiments. Second international conference, VSTTE 2008, Toronto, Canada, October 6--9, 2008. Proceedings
• A stochastic interpretation of propositional dynamic logic: expressivity
• Searching games with errors -- fifty years of coping with liars
• Title not available (Why is that?)
• Title not available (Why is that?)
• Tableaus for many-valued modal logic
• A propositional dynamic logic for concurrent programs based on the \(\pi\)-calculus
• Title not available (Why is that?)
• Propositional dynamic logic with storing, recovering and parallel composition
• Standard Gödel modal logics

Cited In (4)

• A semantics and a logic for \textit{Fuzzy Arden Syntax}
• Dynamic Łukasiewicz logic and its application to immune system
• Many-valued coalgebraic logic over semi-primal varieties
• Modal definability based on Łukasiewicz validity relations

This page was built for publication: Propositional dynamic logic for searching games with errors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q472791)