Adding the everywhere operator to propositional logic

DOI10.1093/LOGCOM/8.1.119zbMath0906.03015OpenAlexW2018364537MaRDI QIDQ4399516

Fred B. Schneider, David Gries

Publication date: 4 February 1999

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

Full work available at URL: https://hdl.handle.net/1813/7239

zbMATH Keywords

completenesspropositional logicaxiomatizationmodal logic S5calculational logic

Mathematics Subject Classification ID

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

Related Items (2)

Formal justification of underspecification for S5 ⋮ An Arithmetically Complete Predicate Modal Logic

This page was built for publication: Adding the everywhere operator to propositional logic