scientific article

From MaRDI portal

Revision as of 15:28, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3367295

Jump to:navigation, search

zbMath1087.03505MaRDI QIDQ3367295

Marco Aiello, J. F. A. K. van Benthem

Publication date: 24 January 2006

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bisimulation spatial reasoning topological models Ehrenfeucht-Fraïssé games roasoning about patterns in space topological interpretation of modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

Modal languages for topology: expressivity and definability ⋮ On the modal definability of simulability by finite transitive models

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3367295&oldid=16628120"