The Range of Modal Logic

DOI10.1080/11663081.1999.10510976zbMath0989.03017OpenAlexW2261579262MaRDI QIDQ4531586

J. F. A. K. van Benthem

Publication date: 1 July 2002

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.1999.10510976

zbMATH Keywords

decidabilitycorrespondenceextended modal logicGargovmodal expressive powersimulation invarianceSofia School of modal logicians

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03) Schools of mathematics (01A72)

Related Items (5)

MEREOLOGICAL BIMODAL LOGICS ⋮ Modal frame correspondences and fixed-points ⋮ On the modal logic of subset and superset: tense logic over Medvedev frames ⋮ Some characterization and preservation theorems in modal logic ⋮ Guards, bounds, and generalized semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Modal definability in enriched languages
• Language in action. Categories, lambdas and dynamic logic
• Logic of transition systems
• Hybrid languages
• Multi-dimensional semantics for modal logics
• Algebraic laws for nondeterminism and concurrency
• On the Decision Problem for Two-Variable First-Order Logic
• Simulating without Negation
• Cylindric modal logic
• On the Restraining Power of Guards

This page was built for publication: The Range of Modal Logic