scientific article; zbMATH DE number 7439728

zbMath1478.03032arXiv1609.04086MaRDI QIDQ5015266

Mauricio Martel, Raul Fervari, Guillaume Hoffmann, Carlos Areces

Publication date: 7 December 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Decidability of theories and sets of sentences (03B25)

Related Items (1)

To be announced

Uses Software

• HTab

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dynamic epistemic logic
• Hybrid languages
• Tableaux for Relation-Changing Modal Logics
• Moving Arrows and Four Model Checking Results
• Logics with Copy and Remove
• Learning and Teaching as a Game: A Sabotage Approach
• Using the Universal Modality: Gains and Questions
• Relation-changing modal operators: Fig. 1.
• HTab: a Terminating Tableaux System for Hybrid Logic
• Swap logic
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Computer Science Logic
• Mechanizing Mathematical Reasoning

This page was built for publication: