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

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

Cited In (1)

• Probabilistic justification logic

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Logics with the Qualitative Probability Operator 👍 👎
• Justification logic with approximate conditional probabilities 👍 👎
• An intuitionistic logic with probabilistic operators 👍 👎
• First steps towards probabilistic justification logic 👍 👎
• Probabilistic Justification Logic 👍 👎
• Logics with lower and upper probability operators 👍 👎
• Probabilistic justification logic 👍 👎
• Logics with Probability Operators 👍 👎

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)