Free quantified epistemic logics

DOI10.1007/s11225-013-9528-xzbMath1329.03048OpenAlexW2009149658MaRDI QIDQ2016054

Eugenio Orlandelli, Giovanna Corsi

Publication date: 19 June 2014

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

Full work available at URL: http://campus.unibo.it/164768/1/FQEL_Corsi_Orland.pdf

zbMATH Keywords

multi-agent systemsfirst-order epistemic logicindexed modalitiesterm-modal languagetransition semantics

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42)

Related Items (9)

Epistemic logics with quantification over epistemic operators: decidability and expressiveness ⋮ A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Propositional epistemic logics with quantification over agents of knowledge ⋮ Doxastic logic: a new approach ⋮ 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
• Naming and identity in epistemic logic. II: A first-order logic for naming
• First-order modal logic
• An essay in modal logic
• Epistemology Without Knowledge and Without Belief
• A New Approach to Epistemic Logic
• Term-modal logics

This page was built for publication: Free quantified epistemic logics