Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to…
Logic
In this subdiscipline:
5,214 papers
Popular papers
-
-
Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of…
-
We show that the variety of Heyting algebras has finitary unification type. We also show that the subvariety obtained by adding it De Morgan law is the biggest variety of Heyting algebras having unitary unification type. Proofs make essential use of…
-
This article traces the development of possible worlds semantics through the work of: Wittgenstein, 19131921; Feys, 1924; McKinsey, 1945; Carnap, 19451947; McKinsey, Tarski and Jónsson, 19471952; von Wright, 1951; Becker, 1952; Prior, 19531954;…
-
Cancer commonly occurs in elderly patients. Treatment of cancer in this population is complex as the physiologic changes of aging impact treatment decisions, tolerance, and outcomes. A comprehensive geriatric assessment (CGA) is an objective means…
-
The purpose of this paper is to show that justified true belief is knowledge, While denying that knowledge is justified true belief. For reliable true belief is also knowledge. It is however epistemologically inferior to justified true belief,…
-
-
-
-
-
-
Current pharyngeal deglutition theory has stressed the role of the pharyngeal constrictors as producing a peristaltic wave responsible for bolus propulsion through the pharynx. This thesis presents data obtained using manofluorography which supports…
-
-
These notes are based on lectures that I first gave at the Summer School of Logic, Language and Information in Lisbon in August 1993 and then in the department of mathematics of the University of Helsinki in September 1994. Because of the nature of…
-
And also no. 43, 544-546. Halting problem
-
This is the best textbook there is on the theory and metatheory of modal logic. It is comprehensive, up to date, accurate and easy to follow. The excercises are excellent. If you have a good background in classical logic, and you need just one good…
-
-
In this impressive second edition of Theory of Knowledge, Keith Lehrer introduces students to the major traditional and contemporary accounts of knowing. Beginning with the traditional definition of knowledge as justified true belief, Lehrer…
-
-
Popular tags
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more
- All your research in one place
- Add and import papers easily
- Access it anywhere, anytime
Start using Mendeley in seconds!
Active members
-
Ph.D. Student -
Ph.D. StudentUniversiteit van Amsterdam, Institute for Logic, Language and Computation -
Student (Bachelor)Department of Philosophy, Stanford University -
Student (Master)Bucharest, Romania -
Post Doc