Free quantified epistemic logics
From MaRDI portal
Publication:2016054
DOI10.1007/S11225-013-9528-XzbMATH Open1329.03048OpenAlexW2009149658MaRDI QIDQ2016054FDOQ2016054
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
multi-agent systemsfirst-order epistemic logicindexed modalitiesterm-modal languagetransition semantics
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- First-order modal logic
- An essay in modal logic
- Epistemology Without Knowledge and Without Belief
- Naming and identity in epistemic logic. II: A first-order logic for naming
- Term-modal logics
- A New Approach to Epistemic Logic
Cited In (13)
- Propositional epistemic logics with quantification over agents of knowledge (an alternative approach)
- \textit{De re} updates
- Propositional epistemic logics with quantification over agents of knowledge
- Doxastic logic: a new approach
- Epistemic logics with quantification over epistemic operators: decidability and expressiveness
- Quantified modal logics: one approach to rule (almost) them all!
- Reasoning with rules and rights: term-modal deontic logic
- A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic
- Quantifier-free versions of first order logic and their psychological significance
- Beyond Knowing That: A New Generation of Epistemic Logics
- Quantifier-free epistemic term-modal logic with assignment operator
- Title not available (Why is that?)
- Dynamic term-modal logics for first-order epistemic planning
This page was built for publication: Free quantified epistemic logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2016054)
