An interval-based modal logic for system specification

DOI10.1007/BFB0023882MaRDI QIDQ2757802zbMATH OpenFDO

Authors Renwei Li, José Carmo

Publication date 4 December 2001

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

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

zbMATH Keywords

actioninterval-based modal logicknowledge representationmodal operatorobligationprohibitionreal-time systemssystem specificationverification

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Logics of Modal Terms for Systems Specification
• scientific article; zbMATH DE number 3855066
• A systematic proof theory for several modal logics
• A modal logic for non-deterministic information systems
• A Systematic Presentation of Quantified Modal Logics
• Modal Logic, Transition Systems and Processes
• Modular sequent systems for modal logic
• A system of dynamic modal logic
• A New Modal Approach to the Logic of Intervals

Cited in

(7)

• On pushout consistency, modularity and interpolation for logical specifications
• Logics of Modal Terms for Systems Specification
• MASL: A Logic for the Specification of Multiagent Real-Time Systems
• Real-time specification and reasoning using maximal intervals
• scientific article; zbMATH DE number 1444735 (Why is no real title available?)
• A Logic Approach for LTL System Modification
• Computational Logic in Multi-Agent Systems

This page was built for publication: An interval-based modal logic for system specification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2757802)