The Pure Logic of Necessitation

DOI10.1093/logcom/2.3.349zbMath0819.03011OpenAlexW2088158505MaRDI QIDQ4018168

Melvin Fitting, Miroslaw Truszczynski, Victor W. Marek

Publication date: 16 January 1993

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/2.3.349

zbMATH Keywords

modal logicdefault logicnonmonotonic reasoningpartial informationtableau systemKripke-like semanticsnonmonotonic consequence operatorknowledge setspure logic of necessitation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (6)

Tableau-based characterization and theorem proving for default logic ⋮ Modal nonmonotonic logics demodalized ⋮ Arithmetical completeness theorems for monotonic modal logics ⋮ Proof theory for functional modal logic ⋮ On the relation between default and modal nonmonotonic reasoning ⋮ Alternative foundations for Reiter's default logic

This page was built for publication: The Pure Logic of Necessitation