Modal logic

A Simple and Tractable Extension of Situation Calculus to Epistemic Logic

Robert Demolombe, Maria del Pilar Pozos Parra

Citations: 50 • 2000

Possible events, actual events, and robots

Andrew Haas

Citations: 19 • 1985

Reasoning about Probabilities in Unbounded First-Order Dynamical Domains

Vaishak Belle, Gerhard Lakemeyer

Citations: 16 • 2017

A commonsense theory of nonmonotonic reasoning

Frank M. Brown

Citations: 14 • 1986

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

Antonio Morales, Isabel Navarrete, Guido Sciavicco

Citations: 13 • 2007

A Spatial Logic for the Hybrid π-Calculus

William C. Rounds

Citations: 12 • 2004

Using Temporal Logic for Spatial Reasoning: Spatial Propositional Neighborhood Logic

Antonio Morales, Guido Sciavicco

Citations: 11 • 2006

Seeing, Knowledge and Common Knowledge

François Schwarzentruber

Citations: 6 • 2011

Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators

Roy Dyckhoff, Mehrnoosh Sadrzadeh, Julien Truffaut

Citations: 6 • 2013

Belief Manipulation Through Propositional Announcements

Aaron Hunter, François Schwarzentruber, Eric C.C. Tsang

Citations: 6 • 2017

Similarity, Approximations and Vagueness

Patrick Doherty, Witold Łukaszewicz, Andrzej Szałas

Citations: 6 • 2005

Kripke modelling of multiple robots with decentralized cooperation specified with temporal logic

Suresh Jeyaraman, Antonios Tsourdos, R. Żbikowski, Brian White

Citations: 6 • 2005

Learning in a Changing World, an Algebraic Modal Logical Approach

Prakash Panangaden, Mehrnoosh Sadrzadeh

Citations: 4 • 2011

Products of Topological Modal Logics

Johan van Benthem, Darko Sarenac

Citations: 4 • 2006

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

On formalizing commonsense reasoning using the modal situation logic and reflective reasoning

Seung Soo Park

Citations: 3 • 1988

Verification for space robotics

Rafael C. Cardoso, Marie Farrell, Georgios Kourtis, Matt Webster, Louise A. Dennis, Clare Dixon, Michael Fisher, Alexei Lisitsa

Citations: 2 • 2021