期刊： JOURNAL OF PHILOSOPHICAL LOGIC, ; ()
Kremer presented three approaches of comparing fixed-point and revision theories of truth in Kremer (Journal of Philosophical Logic, 38(4), 363-403, 2......
期刊： JOURNAL OF PHILOSOPHICAL LOGIC, ; ()
This paper presents a simple decidable logic of functional dependence LFD, based on an extension of classical propositional logic with dependence atom......
