FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science

DOI10.1007/11590156zbMath1172.03313OpenAlexW2484051058MaRDI QIDQ5897786

Tim French

Publication date: 14 November 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11590156

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25) Logic with extra quantifiers and operators (03C80)

Related Items (2)

Knowledge forgetting: properties and applications ⋮ Some Formal Semantics for Epistemic Modesty

This page was built for publication: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science