Propositional modal logic with implicit modal quantification

DOI10.1007/978-3-662-58771-3_2OpenAlexW2901238796MaRDI QIDQ2284173

Yanyan Li

Publication date: 14 January 2020

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

zbMATH Keywords

term modal logicbisimulation invariancebundled fragmentimplicitly quantified modal logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) General logic (03Bxx)

Related Items (5)

Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Epistemic Logics of Structured Intensional Groups ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Quantifier-free epistemic term-modal logic with assignment operator

This page was built for publication: Propositional modal logic with implicit modal quantification