Details

Autor(en) / Beteiligte

• Fagin, R.
• Halpern, J.Y.
• Vardi, M.Y.

Titel

What is an inference rule?

Ist Teil von

• Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology', 1990, p.391-401

Ort / Verlag

IEEE Comput. Soc

Erscheinungsjahr

1990

Quelle

IEL

Beschreibungen/Notizen

• A general semantic framework that allows the notion of inference to be investigated is introduced. Validity inference and truth inference are in some sense the extremal points of the framework used. The relationship between various types of inference is studied, and their complexity is considered in the context of a number of logics of interest: classical propositional logic, a nonstandard propositional logic, various propositional modal logics, and first-order logic.< >