Propositional dynamic logic for searching games with errors

DOI10.1016/J.JAL.2014.04.001MaRDI QIDQ472791zbMATH OpenOpenAlexFDO

Authors Bruno Teheux

Publication date 20 November 2014

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

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

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)

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.

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

Cites work

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

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)