Programming Languages and Systems
From MaRDI portal
Publication:5308700
DOI10.1007/b96702zbMath1126.68349OpenAlexW2964738244MaRDI QIDQ5308700
No author found.
Publication date: 28 September 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b96702
Modal logic (including the logic of norms) (03B45) Theory of programming languages (68N15) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Realist Consequence, Epistemic Inference, Computational Correctness ⋮ Justification logic as a foundation for certifying mobile computation ⋮ The Logic of Proofs as a Foundation for Certifying Mobile Computation ⋮ Intuitionistic hybrid logic ⋮ Judgmental subtyping systems with intersection types and modal types ⋮ Intuitionistic hybrid logic: introduction and survey ⋮ Sequent calculi and decidability for intuitionistic hybrid logic ⋮ Synthesis of Data Views for Communicating Processes ⋮ Hybridizing a Logical Framework
This page was built for publication: Programming Languages and Systems
