Article ID Journal Published Year Pages File Type
4662932 Journal of Applied Logic 2014 15 Pages PDF
Abstract

We extend the framework of Inductive Logic to Second Order languages and introduce Wilmers' Principle, a rational principle for probability functions on Second Order languages. We derive a representation theorem for functions satisfying this principle and investigate its relationship with the first order principles of Regularity and Super Regularity.

Related Topics
Physical Sciences and Engineering Mathematics Logic
Authors
, ,