Comprehension and knowledge

DOI10.1007/S10849-025-09431-1MaRDI QIDQ6964766zbMATH OpenFDO

Authors Pavel Naumov, Kevin Ros

Publication date 4 July 2025

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S10849-025-09431-1

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A general filtration method for modal logics
• A logic for epistemic two-dimensional semantics
• A logic for reasoning about ambiguity
• An egocentric logic of de dicto and de re knowing who
• An egocentric logic of knowing how to tell them apart
• Axiomatizing hybrid products. How can we reason many-dimensionally in hybrid logic?
• Egocentric doxastic logic
• How to agree without understanding each other: public announcement logic with Boolean definitions
• scientific article; zbMATH DE number 140395 (Why is no real title available?)
• Multi-dimensional modal logic
• Naming and identity in epistemic logic. II: A first-order logic for naming
• Naming and Identity in Epistemic Logics Part I: The Propositional Case

This page was built for publication: Comprehension and knowledge

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6964766)