Are bundles good deals for first-order modal logic?

DOI10.1016/j.ic.2023.105062arXiv2202.01581MaRDI QIDQ6116193

Unnamed Author, Mo Liu, Unnamed Author, Yanjing Wang

Publication date: 17 July 2023

Published in: Information and Computation (Search for Journal in Brave)

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

zbMATH Keywords

tableauxdecidabilitytilingfirst-order modal logicbundled fragments

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (1)

A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantification in nonclassical logic. Volume I.
• Quantified epistemic logics for reasoning about knowledge in multi-agent systems
• Modal languages and bounded fragments of predicate logic
• Decidable fragments of first-order temporal logics
• First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus
• The monodic fragment of propositional term modal logic
• Completeness theorems for \(\exists \Box\)-fragment of first-order modal logic
• A logic of goal-directed knowing how
• Undecidability of first-order modal and intuitionistic logics with two variables and one monadic predicate letter
• Decidable fragments of first-order modal logics
• The concurrency hierarchy, and algorithms for unbounded concurrency
• Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
• Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results
• Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
• Beyond Knowing That: A New Generation of Epistemic Logics
• Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages
• Logic in Computer Science
• Specification and Verification using Temporal Logics
• Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages
• THE FLUTED FRAGMENT REVISITED
• The classical decision problem.

This page was built for publication: Are bundles good deals for first-order modal logic?