A New Approach to Epistemic Logic

DOI10.1007/978-94-017-9011-6_2zbMath1436.03109OpenAlexW1567482191MaRDI QIDQ3295784

Giovanna Corsi, G. Tassi

Publication date: 13 July 2020

Published in: Logic, Argumentation & Reasoning (Search for Journal in Brave)

Full work available at URL: http://amsacta.unibo.it/3746/1/Epistemic_Corsi_Tassi_Ghent.pdf

zbMATH Keywords

first-order epistemic logicepistemic agentsepistemic transition semanticsindexed epistemic operators

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Related Items (4)

Dynamic term-modal logics for first-order epistemic planning ⋮ Beyond Knowing That: A New Generation of Epistemic Logics ⋮ Free quantified epistemic logics ⋮ Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: A New Approach to Epistemic Logic