Book Chapter
How to solve qualification and ramification using Dijkstra's semantics for programming languages
Ewa Madalińska-Bugaj
Lecture Notes in Computer Science, 1997, Volume 1321, AI*IA 97: Advances in Artificial Intelligence, Pages 381-392
Book Chapter
Modal tableaux for reasoning about actions and plans
Marcos A. Castilho, Olivier Gasquet and Andreas Herzig
Lecture Notes in Computer Science, 1997, Volume 1348, Recent Advances in AI Planning, Pages 104-116
Journal Article
Reasoning dynamically about what one says
Nicholas Asher and Alex Lascarides
Synthese, 2011, Volume 183, Supplement 1, Pages 5-31
Book Chapter
Intelligent Agents: Issues and Logics
John-Jules Ch. Meyer
2004, Logics for Emerging Applications of Databases, Pages 131-165
Book Chapter
The Imaginary in Mathematics
Stefania Centrone
Synthese Library, 1, Volume 345, Logic and Philosophy of Mathematics in the Early Husserl, Pages 149-213
Book Chapter
The anchored version of the temporal framework
Zohar Manna and Amir Pnueli
Lecture Notes in Computer Science, 1989, Volume 354, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Pages 201-284
Book Chapter
The Philosophy of Formalization
Logic, Epistemology, and the Unity of Science, 1, Volume 7, Formalizing Medieval Logical Theories, Pages 215-292
Book Chapter
Compiling circumscriptive theories into logic programs
Michael Gelfond and Vladimir Lifschitz
Lecture Notes in Computer Science, 1989, Volume 346, Non-Monotonic Reasoning, Pages 74-99
Book Chapter
Towards quantified modal logic
Logic, Epistemology, and the Unity of Science, 1, Volume 12, Modalities and Multimodalities, Pages 241-272
Book Chapter
Knowledge without modality: A simplified framework for chronological ignorance
Craig MacNish
Lecture Notes in Computer Science, 1992, Volume 633, Logics in AI, Pages 25-35