Modal Logic Papers

Mathematical Modal Logic: A View of its Evolution

• authors: Robert Goldblatt
• date: 2006
• online @ homepages.ecs.vuw.ac.nz

.

The Relationship between the Topological Properties and Common Modal Logics

• authors: Maria Nogin, Bing Xu
• date: 2016
• online @ pubs.sciepub.com
• topics: Topology, Modal Logic

.

Topological semantics of modal logic

• authors: Nick Bezhanishvili
• date: 2021
• online @ tsinghualogic.net
• format: talk-slides
• topics: Topology, Modal Logic

.

Topology, Connectedness, and Modal Logic

• authors: R. Kontchakov, I. Pratt-Hartmann, F. Wolter, M. Zakharyaschev
• date: 2008
• online @ www.dcs.bbk.ac.uk
• online @ web.archive.org
• topics: Topology, Modal Logic, Computational Complexity

.

A Modal Walk Through Space

• authors: Marco Aiello, Johan van Benthem
• date: 2001
• online @ web.archive.org
• topics: Topology, Modal Logic
• future-topics: Bisimulation

.

The Situation Calculus: A Case for Modal Logic

• authors: Gerhard Lakemeyer
• date: 2008??
• online @ ai.stanford.edu
• topics: Modal Logic
• future-topics: Situation Calculus

.

Modal Mu-Calculi

• authors: Julian Bradfield, Colin Stirling
• date: 2006
• online @ www.julianbradfield.org
• topics: Modal Logic, Model Checking
• format: book-chapter
• future-topics: Temporal Logic

.