Realizations and LP

DOI10.1007/978-3-540-72734-7_15zbMath1132.03325OpenAlexW1561374751MaRDI QIDQ5434508

Melvin Fitting

Publication date: 4 January 2008

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72734-7_15

zbMATH Keywords

logic of proofs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (2)

Prehistoric graph in modal derivations and self-referentiality ⋮ Realizations and LP

This page was built for publication: Realizations and LP