Dynamic logic (digital electronics)

Logics of Dynamical Systems

André Platzer

引用数: 104 • 2012

Reasoning about action and change

Helmut Prendinger, Gerhard Schurz

引用数: 50 • 1996

The gamut of dynamic logics

Jan van Eijck, Martin Stokhof

引用数: 19 • 2006

Possible events, actual events, and robots

Andrew Haas

引用数: 19 • 1985

A new modal logic for reasoning about space: spatial propositional neighborhood logic

Antonio Morales, Isabel Navarrete, Guido Sciavicco

引用数: 13 • 2007

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic

Antonio Morales, Guido Sciavicco

引用数: 11 • 2006

Introduction to Logic-Based Artificial Intelligence

Jack Minker

引用数: 7 • 2000

Seeing, Knowledge and Common Knowledge

François Schwarzentruber

引用数: 6 • 2011

Theorem Proving for Pointwise Metric Temporal Logic Over the Naturals via Translations

Ullrich Hustadt, Ana Ozaki, Clare Dixon

引用数: 6 • 2020

Learning in a Changing World, an Algebraic Modal Logical Approach

Prakash Panangaden, Mehrnoosh Sadrzadeh

引用数: 4 • 2011

Exploring the bidimensional space: A dynamic logic point of view

Philippe Balbiani, David Fernández–Duque, Emiliano Lorini

引用数: 4 • 2017

Automated deduction in a graphical temporal logic

L.E. Moser, P. M. Melliar‐Smith, Y. S. Ramakrishna, G. Kutty, Laura K. Dillon

引用数: 3 • 1996

The Logic of Language

Verónica Dahl

引用数: 3 • 1999

SPATIAL LOGIC CONCEPTS

S. A. Kudzh, Victor Ya. Tsvetkov

引用数: 2 • 2020

Dynamic Epistemic Algebra with Post-conditions to Reason about Robot Navigation

Alexander J. Horn

引用数: 2 • 2011