The Range of Modal Logic

DOI10.1080/11663081.1999.10510976MaRDI QIDQ4531586zbMATH OpenOpenAlexFDO

Authors Johan 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

correspondencedecidabilityextended modal logicGargovmodal expressive powersimulation invarianceSofia School of modal logicians

Mathematics Subject Classification ID

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

Recommendations

• Hyper arrow logic with indiscernibility and complementarity
• scientific article; zbMATH DE number 2101966
• Modal logic and invariance
• scientific article; zbMATH DE number 834561
• scientific article; zbMATH DE number 1003731

Cites work

• Algebraic laws for nondeterminism and concurrency
• Cylindric modal logic
• scientific article; zbMATH DE number 4033710 (Why is no real title available?)
• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• scientific article; zbMATH DE number 1292308 (Why is no real title available?)
• scientific article; zbMATH DE number 1047502 (Why is no real title available?)
• scientific article; zbMATH DE number 757645 (Why is no real title available?)
• scientific article; zbMATH DE number 957948 (Why is no real title available?)
• Hybrid languages
• Language in action. Categories, lambdas and dynamic logic
• Logic of transition systems
• Modal definability in enriched languages
• Multi-dimensional semantics for modal logics
• On the Decision Problem for Two-Variable First-Order Logic
• On the Restraining Power of Guards
• Simulating without Negation

Cited in

(6)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531586)