A temporal module for logical frameworks

MaRDI QIDQ5020577zbMATH OpenFDO

Authors Valentina Pitoni, Stefania Costantini

Publication date 6 January 2022

Full work available at URL https://arxiv.org/abs/1909.08256, http://eptcs.web.cse.unsw.edu.au/paper.cgi?ICLP2019.40

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 7453151
• Inference rules in multi-agents' temporal logics
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• Logical formalism for specification of real-time multiagent systems
• scientific article; zbMATH DE number 1530250

Cites work

• Hybrid logics: Characterization, interpolation and complexity
• Minimal temporal epistemic logic
• Reasoning about cognitive attitudes in a qualitative setting

Cited in

(9)

• scientific article; zbMATH DE number 4108727 (Why is no real title available?)
• scientific article; zbMATH DE number 218548 (Why is no real title available?)
• scientific article; zbMATH DE number 4119617 (Why is no real title available?)
• Polymodal logic of the class of inductive linear time frames
• scientific article; zbMATH DE number 7552284 (Why is no real title available?)
• An epistemic logic for multi-agent systems with budget and costs
• Logic Programming
• A temporal logic for sortals
• Substructure Temporal Logic

This page was built for publication: A temporal module for logical frameworks

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