Sharing actions and attributes in modal action logic

DOI10.1007/3-540-54415-1_65zbMATH Open1493.68257OpenAlexW1578871155MaRDI QIDQ5096239FDOQ5096239

Authors:

Publication date: 16 August 2022

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

Full work available at URL: https://doi.org/10.1007/3-540-54415-1_65

Recommendations

• Distributed modal logic
• Publication:4952293
• Modal logic for modelling actions and agents
• scientific article; zbMATH DE number 2088151
• Publication:4952316

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Displaying modal logic

This page was built for publication: Sharing actions and attributes in modal action logic

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