An essay in combinatory dynamic logic (original) (raw)
Related papers
Logic and Application: A Reply to S.R. Osmani
Development and Change, 1991
2009
Introduction to the 26th international conference on logic programming special issue
Theory and Practice of Logic Programming, 2010
Kalmár Workshop on Logic and Computer Science --- Preface
2007
1991
Modelling phenomena and dynamic logic of phenomena
Journal of Applied Non-Classical Logics, 2012
Reasoning, Rules, and Representation
2018
Synthese, 2006
Modularity in Logic Programming
1993
Classical and Nonclassical Logics, 2020
Smart innovation, systems and technologies, 2018
Functions and Generality of Logic
Logic, Epistemology, and the Unity of Science, 2015
Journal of Philosophical Logic, 2003
Logics of communication and change
Information and Computation, 2006
Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS - QoSA-ISARCS '11, 2011
Handbook of the History of Logic, 2006
2003
Possibilistic Nested Logic Programs
international conference on logic programming, 2012
Bulletin of Symbolic Logic, 2010
Selective backtracking for logic programs
Lecture Notes in Computer Science, 1980
It Must Have Something to do with ?Logic?: A Rejoinder to Aaron Wildavsky
Scandinavian Political Studies, 1991
Extended Abstract INFORMATION SCIENCE, TRANSDISCIPLINARITY AND LOGIC
2015
Some remarks on discussive logic
Luiz Henrique Lopes dos Santos
Non-Classical Logics, Model Theory and Computability. A . I . Arruda. N.C.A. da Costa and R. Chuaqui (eds.) 0 North-Holland Publishing Company, 1977
Logic models for continuous time
IEE Proceedings - Computers and Digital Techniques, 1997
Programming for the Humanities - Logic and Adaptable Languages
Proceedings of the 8th International Conference on Computer Supported Education, 2016
An Arithmetization of Logical Oppositions
Studies in Universal Logic, 2017
Dynamic Interpretation and Hoare Deduction: Extended Abstract
Semantics and Linguistic Theory, 2015
Logic of change, change of logic
Synthese, 2009
Differential logic programs: Programming methodologies and semantics
Science of Computer Programming, 1996
Planning based on dynamic epistemic logic
2010
Symposium, 2001
Mathematical Logic, 1990