Justification Logics with Probability Operators

DOI10.1007/978-3-030-52954-3_8OpenAlexW3043437077MaRDI QIDQ5024719

Thomas Studer, Ioannis Kokkinis, Nenad Savić

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)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The logic of uncertain justifications
• The ontology of justifications in the logical setting
• The logic of proofs, semantically
• A logic of plausible justifications
• Probabilistic logic
• Probabilistic satisfiability
• A guide to completeness and complexity for modal logics of knowledge and belief
• Justification logic with approximate conditional probabilities
• The complexity of satisfiability in non-iterated and iterated probabilistic logics
• A logic for reasoning about probabilities
• Distributed knowledge justification logics
• Subset models for justification logic
• Realizing public announcements by justifications
• Explicit Provability and Constructive Semantics
• Justifications for common knowledge
• Partial Realization in Dynamic Justification Logic
• Update as Evidence: Belief Expansion
• Reasoning about knowledge and probability
• First steps towards probabilistic justification logic
• Weak arithmetical interpretations for the Logic of Proofs
• Pavelka-style fuzzy justification logics
• Probabilistic justification logic
• Beliefs, Degrees of Belief, and the Lockean Thesis
• Possibilistic Justification Logic
• On Aggregating Probabilistic Evidence
• Decidability for some justification logics with negative introspection
• Justification Logic

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