-
6Modelling evolvable component systems: Part I: A logical frameworkLogic Journal of the IGPL 17 (6): 631-696. 2009.We develop a logical modelling approach to describe evolvable computational systems. In this account, evolvable systems are built hierarchically from components where each component may have an associated supervisory process. The supervisor's purpose is to monitor and possibly change its associated component. Evolutionary change may be determined purely internally from observations made by the supervisor or may be in response to external change. Supervisory processes may be present at any level …Read more
-
6Handbook of Philosophical Logic: Volume 17 (edited book)Imprint: Springer. 2014.This second edition of the Handbook of Philosophical Logic reflects great changes in the landscape of philosophical logic since the first edition. It gives readers an idea of that landscape and its relation to computer science and formal language and artificial intelligence. It shows how the increased demand for philosophical logic from computer science and artificial intelligence and computational linguistics accelerated the development of the subject directly and indirectly. This development i…Read more
-
6Modal Provability Foundations for Argumentation NetworksStudia Logica 93 (2-3): 147-180. 2009.Given an argumentation network we associate with it a modal formula representing the ‘logical content’ of the network. We show a one-to-one correspondence between all possible complete Caminada labellings of the network and all possible models of the formula.
-
5Logical Tools for Handling Change in Agent-Based SystemsSpringer. 2009.Agents act on the basis of their beliefs and these beliefs change as they interact with other agents. In this book the authors propose and explain general logical tools for handling change. These tools include preferential reasoning, theory revision, and reasoning in inheritance systems, and the authors use these tools to examine nonmonotonic logic, deontic logic, counterfactuals, modal logic, intuitionistic logic, and temporal logic. This book will be of benefit to researchers engaged with arti…Read more
-
5The Formalization Of Pratical Reasoning: Problems And ProspectsIn Dov M. Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic: Volume 18, Springer Verlag. 2018.Deontic logic, as traditionally conceived, provides only a deductive theory that constrains the states or possible worlds within which an agent should try to remain.
-
4This book is intended to serve as an advanced text and reference work on modal logic, a subject of growing importance which has applications to philosophy and linguistics. Although it is based mainly on research which I carried out during the years 1969-1973, it also includes some related results obtained by other workers in the field. Parts 0, 1 and 2, can be used as the basis of a one year graduate course in modal logic. The material which they contain has been taught in such courses at Stanfo…Read more
-
4Classical vs non-classical logics: the universality of classical logicMax-Planck-Institut für Informatik. 1993."This report investigates the question of the universality of classical logic. The approach is to show that an almost arbitrary logical system can be translated reasonably intuitively and almost automatically into classical logic. The path leading to this result goes through the analysis of what is reasonable logic, how to find semantics for it, how to build a labelled deductive system (LDS) for it, how to translate a LDS into classical logic and how to automate the process using SCAN. This repo…Read more
-
3Frontiers of combining systems 2 (edited book)Research Studies Press. 2000.The International workshop 'Frontiers of Combining Systems' is the only forum that is exclusively devoted to research efforts in this interdisciplinary area. This volume contains selected, edited papers from the second installment of the workshop. The contributions range from theorem proving, rewriting and logic to systems and constraints. While there is a clear emphasis on automated tools and logics, the contributions to this volume show that there exists a rapidly expanding body of solutions o…Read more
-
3This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of tem…Read more
-
3Sampling Labeled Deductive SystemsIn Dale Jacquette (ed.), A Companion to Philosophical Logic, Blackwell. 2006.This chapter contains sections titled: Labeled Deductive Systems in Context Examples from Monotonic Logics Examples from Non‐monotonic Logics Conclusion and Further Reading.
-
2Semantical Considerations for Modal Logics by Saul A. KripkeJournal of Symbolic Logic 34 (3): 501-501. 1969.
-
2Conditionals and modularity in general logicsSpringer. 2011.This text centers around three main subjects. The first is the concept of modularity and independence in classical logic and nonmonotonic and other nonclassical logic, and the consequences on syntactic and semantical interpolation and language change. In particular, we will show the connection between interpolation for nonmonotonic logic and manipulation of an abstract notion of size. Modularity is essentially the ability to put partial results achieved independently together for a global result…Read more
-
1The Handbook of the History of Logic, vol. 7: Logic and the Modalities in the Twentieth Century (edited book)Elsevier Press. 2006.
-
1Handbook of Philosophical Logic, 2nd Edition, Volume 5Tijdschrift Voor Filosofie 65 (1): 184-185. 2003.