A logic for reasoning about knowledge of unawareness

QR Code

A logic for reasoning about knowledge of unawareness

In the most popular logics combining knowledge and awareness, it is not possible to express statements about knowledge of unawareness such as “Ann knows that Bill is aware of something Ann is not aware of” – without using a stronger statement such as “Ann knows that Bill is aware of p and Ann is not...

Full description

Bibliographic Details
Main Authors:	Agotnes, Thomas, Alechina, Natasha
Format:	Article
Published:	Springer 2014
Online Access:	https://eprints.nottingham.ac.uk/30171/

Similar Items

Coalition logic with individual, distributed and common knowledge
by: Ågotnes, Thomas, et al.
Published: (2016)

Sick but unaware: Hypertension in Indonesia
by: Sohn, Kitae
Published: (2015)

PM unaware of Sabah MPs forming own bloc
Published: (2009)

Li Yijun's Yuannv and the awareness and unawareness of a woman writer.
by: Lim, Choon Bee
Published: (2012)

Proton-Mitsubishi talks : Dr M says he was unaware
Published: (2008)

Coalition and coalition announcement logic
by: Galimullin, Rustam, et al.
Published: (2017)

Qualitative spatial logics for buffered geometries
by: Du, Heshan, et al.
Published: (2016)

Resource logics with a diminishing resource: extended abstract
by: Alechina, Natasha, et al.
Published: (2018)

A logic of directions
by: Du, Heshan, et al.
Published: (2020)

On the complexity of resource-bounded logics
by: Alechina, Natasha, et al.
Published: (2016)

Reasoning about the executability of goal-plan trees
by: Yao, Yuan, et al.
Published: (2016)

Mahatir’s speech at Oxford: reasoning about the West
by: Fuziah Kartini Hassan Basri,
Published: (1996)

Decidable model-checking for a resource logic with production of resources
by: Alechina, Natasha, et al.
Published: (2014)

The virtues of idleness: a decidable fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2017)

Alternating-time temporal logic with resource bounds
by: Nguyen, Hoang Nga, et al.
Published: (2015)

Utilization of external knowledge to support answer extraction from restricted document using logical reasoning
by: Abdul Kadir, Rabiah, et al.
Published: (2008)

Reasoning about resource-bounded multi-agent systems
by: Nguyen, Nguyen
Published: (2011)

On the boundary of (un)decidability: decidable model-checking for a fragment of resource agent logic
by: Alechina, Natasha, et al.
Published: (2015)

Effect of religious belief on informal reasoning about biotechnology issues
by: Pope, T., et al.
Published: (2017)

On the complexity of resource-bounded logics
by: Alechina, N., et al.
Published: (2018)

Relationship between logical reasoning and academic achivement among secondry school students
by: Hassan, Aminuddin, et al.
Published: (2017)

Using qualitative spatial logic for validating crowd-sourced geospatial data
by: Du, Heshan, et al.
Published: (2015)

Representation and reasoning of fuzzy temporal knowledge
by: Nor Azlinayati Abdul Manaf,, et al.
Published: (2006)

Doing what makes sense: locating knowledge about person-centred care in the everyday logics of long-term care
by: Scales, Kezia
Published: (2014)

An exploration of the relationship between exposure to violent video games and moral reasoning about violence
by: Tan, Ee Ee
Published: (2021)

High-school Students' Informal Reasoning and Argumentation about Biotechnology: An indicator of scientific literacy?
by: Dawson, Vaille, et al.
Published: (2009)

Reasoning about goal satisfaction for early requirements engineering in the i* framework using inter-actor dependency
by: Subramanian, C., et al.
Published: (2015)

Physicians’ knowledge about pharmacovigilance in Iraq
by: RMS, Muhannad, et al.
Published: (2016)

Common reasoning in games: a Lewisian analysis of common knowledge of rationality
by: Cubitt, Robin P., et al.
Published: (2014)

Relationship between emotional, intelligence, motivation and logical reasoning towards academic achievement among secondary school students
by: Mohd Noor, Nur Fadzlillah Amira, et al.
Published: (2017)

Hijacking the dispatch protocol: When callers pre-empt their reason-for-the-call in emergency calls about cardiac arrest
by: Riou, Marine, et al.
Published: (2018)

Reasons Internalism and the function of normative reasons
by: Sinclair, Neil
Published: (2017)

Theories and knowledge about Sick Building Syndrome
by: Jansz, Janis
Published: (2011)

A healthy dose of scepticism: four good reasons to think again about protective effects of alcohol on coronary heart disease.
by: Chikritzhs, Tanya, et al.
Published: (2009)

Elicitation of knowledge: Intermezzo 1 - To be moved by knowledge: Moving knowledge moves knowledge about knowing
by: Pirnay-Dummer, P., et al.
Published: (2010)

Verifying systems of resource-bounded agents
by: Alechina, Natasha, et al.
Published: (2016)

Fuzzy logic based model to measure knowledge sharing
by: Zadjabbari, Behrang, et al.
Published: (2009)

Normalization strategy of logical knowledge representation for text document.
by: Abdul Kadir, Rabiah, et al.
Published: (2013)

Knowledge and awareness about STDs among women in Bangladesh
by: Hossain, Mosharaf, et al.
Published: (2014)

Knowledge discovery in hyper-heuristic using case-based reasoning on course timetabling
by: Burke, Edmund, et al.
Published: (2002)