A temporal module for logical frameworks

MaRDI QIDQ5020577FDOQ5020577

Authors: Valentina Pitoni, Stefania Costantini 

Publication date: 6 January 2022

Full work available at URL: https://arxiv.org/abs/1909.08256

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

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

Cited In (9)

• Title not available (Why is that?)
• Polymodal logic of the class of inductive linear time frames
• Title not available (Why is that?)
• An epistemic logic for multi-agent systems with budget and costs
• Logic Programming
• A temporal logic for sortals
• Substructure Temporal Logic
• Title not available (Why is that?)
• Title not available (Why is that?)

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)