Justification Logics with Probability Operators

DOI10.1007/978-3-030-52954-3_8MaRDI QIDQ5024719zbMATH OpenOpenAlexFDO

Authors Ioannis Kokkinis, Nenad Savić, Thomas Studer

Publication date 27 January 2022

Published in Probabilistic Extensions of Various Logical Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-52954-3_8

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Recommendations

• Probabilistic justification logic
• Probabilistic justification logic
• Logics with Probability Operators
• scientific article; zbMATH DE number 5990430
• Justification logic with approximate conditional probabilities
• First steps towards probabilistic justification logic
• Logics with lower and upper probability operators
• Logics with the Qualitative Probability Operator
• An intuitionistic logic with probabilistic operators
• Propositional logic with probability operators (based on general ideas of weak modal calculus)

Cites work

• A guide to completeness and complexity for modal logics of knowledge and belief
• A logic for reasoning about probabilities
• A logic of plausible justifications
• Beliefs, Degrees of Belief, and the Lockean Thesis
• Decidability for some justification logics with negative introspection
• Distributed knowledge justification logics
• Explicit provability and constructive semantics
• First steps towards probabilistic justification logic
• scientific article; zbMATH DE number 1670490 (Why is no real title available?)
• scientific article; zbMATH DE number 1114348 (Why is no real title available?)
• scientific article; zbMATH DE number 6302917 (Why is no real title available?)
• Justification logic with approximate conditional probabilities
• Justification logic. Reasoning with reasons
• Justifications for common knowledge
• Logics of proofs and justifications
• Modal logic
• On aggregating probabilistic evidence
• Partial realization in dynamic justification logic
• Pavelka-style fuzzy justification logics
• Possibilistic justification logic: reasoning about justified uncertain beliefs
• Probabilistic justification logic
• Probabilistic logic
• Probabilistic satisfiability
• Probability logics
• Realizing public announcements by justifications
• Reasoning about knowledge and probability
• Subset models for justification logic
• The complexity of satisfiability in non-iterated and iterated probabilistic logics
• The logic of proofs, semantically
• The logic of uncertain justifications
• The ontology of justifications in the logical setting
• Update as evidence: belief expansion
• Weak arithmetical interpretations for the logic of proofs

Cited in

(2)

• Probabilistic justification logic
• Incomplete Information and Justifications

This page was built for publication: Justification Logics with Probability Operators

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