Free Quantified Epistemic Logics

Authors:
Giovanna Corsi;Eugenio Orlandelli
Affiliations:
Dipartimento di Filosofia e Comunicazione, Università di Bologna, Bologna, Italy I-40126;Dipartimento di Filosofia e Comunicazione, Università di Bologna, Bologna, Italy I-40126
Venue:
Studia Logica
Year:
2013

Citing 5
Cited 0

Naming and identity in epistemic logic part II: a first-order logic for naming

Artificial Intelligence
Reasoning about knowledge

Reasoning about knowledge
First-order modal logic

First-order modal logic
Epistemic Logic for AI and Computer Science

Epistemic Logic for AI and Computer Science
QLB: A Quantified Logic for Belief

ECAI '96 Proceedings of the Workshop on Intelligent Agents III, Agent Theories, Architectures, and Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents an epistemic logic with quantification over agents of knowledge and with a syntactical distinction between de re and de dicto occurrences of terms. Knowledge de dicto is characterized as `knowledge that', and knowlegde de re as `knowledge of'. Transition semantics turns out to be an adequate tool to account for the distinctions introduced.