The monodic fragment of propositional term modal logic

DOI10.1007/s11225-018-9784-xzbMath1439.03046OpenAlexW2786150474MaRDI QIDQ2001365

Yanyan Li

Publication date: 3 July 2019

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-018-9784-x

zbMATH Keywords

quantificationdecidabilitybisimulationmonodic fragmentindexed modalityterm modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (8)

Reasoning in large games with unboundedly many players ⋮ Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Are bundles good deals for first-order modal logic? ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Unnamed Item ⋮ Quantifier-free epistemic term-modal logic with assignment operator ⋮ Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Nominal tense logic
• Dynamic epistemic logic
• Modal logic with names
• Many-dimensional modal logics: theory and applications
• Axiomatizing the monodic fragment of first-order temporal logic
• Equality and monodic first-order temporal logic
• Monodic Fragments of First-Order Temporal Logics: 2000–2001 A.D.
• Alternating-time temporal logic
• RATIONAL DYNAMICS AND EPISTEMIC LOGIC IN GAMES
• Term-modal logics

This page was built for publication: The monodic fragment of propositional term modal logic