Embedding of Modal Predicate Systems into Lower Predicate Calculus

DOI10.4288/JAFPOS1956.6.147zbMath0514.03013OpenAlexW1971522973MaRDI QIDQ3659759

Satoshi Miura

Publication date: 1983

Published in: Annals of the Japan Association for Philosophy of Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.4288/jafpos1956.6.147

zbMATH Keywords

prefixBarcan formulamodal formulainduced modelinterpreted formulareciprocal model

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

This page was built for publication: Embedding of Modal Predicate Systems into Lower Predicate Calculus