A computationally grounded, weighted doxastic logic
DOI10.1007/S11225-015-9621-4zbMATH Open1367.03052OpenAlexW806899496MaRDI QIDQ310087FDOQ310087
Authors: Taolue Chen, Giuseppe Primiero, Franco Raimondi, Neha Rungta 
Publication date: 7 September 2016
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://eprints.mdx.ac.uk/19203/1/preprint.pdf
Recommendations
- Doxastic logic: a new approach
- Logics of belief over weighted structures
- Weighted versus Probabilistic Logics
- Decidability and expressiveness of recursive weighted logic
- Advances in weighted logics for artificial intelligence
- Weighted logics for artificial intelligence. II.
- Computational Logic in Multi-Agent Systems
- Typology of axioms for a weighted modal logic
- On decidability of recursive weighted logics
- Complete proof systems for weighted modal logic
Logics of knowledge and belief (including belief change) (03B42) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70)
Cites Work
- PRISM-games: A Model Checker for Stochastic Multi-Player Games
- Title not available (Why is that?)
- Matrix iterative analysis
- Markov Chains
- Title not available (Why is that?)
- Title not available (Why is that?)
- Plausibility measures and default reasoning
- Markov logic networks
- The dining cryptographers problem: Unconditional sender and recipient untraceability
- Automatic verification of competitive stochastic systems
- Specifying and reasoning about uncertain agents
- From statistical knowledge bases to degrees of belief
- Computer Aided Verification
Cited In (4)
Uses Software
This page was built for publication: A computationally grounded, weighted doxastic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q310087)
