Propositional dynamic logic for searching games with errors
From MaRDI portal
Publication:472791
DOI10.1016/j.jal.2014.04.001zbMath1395.03011arXiv1401.7234OpenAlexW2028191118MaRDI QIDQ472791
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
Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) MV-algebras (06D35) Many-valued logic (03B50)
Related Items
Modal definability based on Łukasiewicz validity relations ⋮ A semantics and a logic for \textit{Fuzzy Arden Syntax} ⋮ Dynamic Łukasiewicz logic and its application to immune system
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reasoning about games
- Logics of communication and change
- Verified software: Theories, tools, experiments. Second international conference, VSTTE 2008, Toronto, Canada, October 6--9, 2008. Proceedings
- Dynamic epistemic logic
- Standard Gödel modal logics
- Propositional dynamic logic of regular programs
- Algebraic foundations of many-valued reasoning
- Tableaus for many-valued modal logic
- Extending maps to profinite completions in finitely generated quasivarieties
- MV-algebras: a variety for magnitudes with archimedean units
- A stochastic interpretation of propositional dynamic logic: expressivity
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- A Propositional Dynamic Logic for Concurrent Programs Based on the π-Calculus
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Many-Valued Modal Propositional Calculi
- A Modal Logic for Coalitional Power in Games
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
- Searching games with errors -- fifty years of coping with liars
This page was built for publication: Propositional dynamic logic for searching games with errors