Computing verisimilitude

DOI10.1305/ndjfl/1040308827zbMath0837.03009OpenAlexW4254258003MaRDI QIDQ1903577

Chris Brink, Katarina Britz

Publication date: 29 January 1996

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1040308827

zbMATH Keywords

belief revisionalgorithm for computing verisimilitudepower orderingverisimilitude orderings on theories

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Foundations of classical theories (including reverse mathematics) (03B30)

Uses Software

• ETPS

Cites Work

• Unnamed Item
• Unnamed Item
• Efficient reasoning about rich temporal domains
• Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing
• Power structures
• Belief revision and verisimilitude
• Creative and non-creative definitions in the calculus of probability
• Verisimilitude: views and reviews
• A Verisimilar Ordering of Theories Phrased in a Propositional Language
• POPPER'S QUALITATIVE THEORY OF VERISIMILITUDE
• Verisimilitude Redefined
• Verisimilitude via Vietoris

This page was built for publication: Computing verisimilitude