Dynamic logic (digital electronics)
Related papers: 15
Top Researchers
Top Cited Papers
Logics of Dynamical Systems
André Platzer
Citations: 104 • 2012
Reasoning about action and change
Helmut Prendinger, Gerhard Schurz
Citations: 50 • 1996
The gamut of dynamic logics
Jan van Eijck, Martin Stokhof
Citations: 19 • 2006
Possible events, actual events, and robots
Andrew Haas
Citations: 19 • 1985
A new modal logic for reasoning about space: spatial propositional neighborhood logic
Antonio Morales, Isabel Navarrete, Guido Sciavicco
Citations: 13 • 2007
Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic
Antonio Morales, Guido Sciavicco
Citations: 11 • 2006
Introduction to Logic-Based Artificial Intelligence
Jack Minker
Citations: 7 • 2000
Seeing, Knowledge and Common Knowledge
François Schwarzentruber
Citations: 6 • 2011
Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations
Ullrich Hustadt, Ana Ozaki, Clare Dixon
Citations: 6 • 2020
Learning in a Changing World, an Algebraic Modal Logical Approach
Prakash Panangaden, Mehrnoosh Sadrzadeh
Citations: 4 • 2011
Exploring the bidimensional space: A dynamic logic point of view
Philippe Balbiani, David Fernández–Duque, Emiliano Lorini
Citations: 4 • 2017
Automated deduction in a graphical temporal logic
L.E. Moser, P. M. Melliar‐Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon
Citations: 3 • 1996
The Logic of Language
Verónica Dahl
Citations: 3 • 1999
SPATIAL LOGIC CONCEPTS
S. A. Kudzh, Victor Ya. Tsvetkov
Citations: 2 • 2020
Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation
Alexander J. Horn
Citations: 2 • 2011