The Range of Modal Logic
From MaRDI portal
Publication:4531586
DOI10.1080/11663081.1999.10510976zbMath0989.03017MaRDI QIDQ4531586
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
decidability; correspondence; extended modal logic; Gargov; modal expressive power; simulation invariance; Sofia School of modal logicians
03B45: Modal logic (including the logic of norms)
01A70: Biographies, obituaries, personalia, bibliographies
03-03: History of mathematical logic and foundations
01A72: Schools of mathematics
Related Items
Some characterization and preservation theorems in modal logic, Modal frame correspondences and fixed-points, 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