Decision problems of some statistically motivated monadic modal calculi

DOI10.1016/S0020-7373(81)80017-XzbMath0464.03015OpenAlexW2067317532MaRDI QIDQ3914956

Petr Hájek

Publication date: 1981

Published in: International Journal of Man-Machine Studies (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-7373(81)80017-x

zbMATH Keywords

statistical inferencesemanticshypothesis formationprobabilistic structuresGUHAmonadic modal predicate calculi

Mathematics Subject Classification ID

Foundations and philosophical topics in statistics (62A01) Modal logic (including the logic of norms) (03B45) Artificial intelligence (68T99) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Formal logics of discovery and hypothesis formation by machine

This page was built for publication: Decision problems of some statistically motivated monadic modal calculi