The Logic of Internal Rational Agent

DOI10.26686/ajl.v18i2.6286OpenAlexW3159717848MaRDI QIDQ4999182

Yaroslav I. Petrukhin

Publication date: 6 July 2021

Published in: The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.26686/ajl.v18i2.6286

zbMATH Keywords

modal logicnatural deductionfour-valued logiccorrespondence analysislogic of generalized truth valueslogic of internal rational agencylogic of rational agent

Mathematics Subject Classification ID

Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Abstract deductive systems (03B22)

This page was built for publication: The Logic of Internal Rational Agent