Corpus ID: 62162288

Modal Logic for Open Minds

@inproceedings{Benthem2010ModalLF,
  title={Modal Logic for Open Minds},
  author={J. V. Benthem},
  year={2010}
}
  • J. V. Benthem
  • Published 2010
  • Computer Science
  • In Modal Logic for Open Minds, Johan van Benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, examining its relationship to language, semantics, bisimulation, and axiomatics, and then covers more advanced topics, such as expressive power, computational complexity, and intelligent agency. Many of the chapters are followed… CONTINUE READING
    117 Citations

    Figures and Topics from this paper

    Possibility Frames and Forcing for Modal Logic
    • 22
    • PDF
    Term-Sequence-Modal Logics
    • 1
    1 SEMANTIC PERSPECTIVES IN LOGIC
    • PDF
    Belief contraction through safe formulas
    • PDF
    One Modal Logic to Rule Them All?
    • 4
    • PDF
    Modal Logic for Artificial Intelligence
    • 1
    • PDF
    Logic and Commonsense Reasoning

    References

    SHOWING 1-10 OF 77 REFERENCES
    Modal logic
    • 1,284
    • Highly Influential
    • PDF
    The Undecidability of Iterated Modal Relativization
    • 102
    • PDF
    Tools and Techniques in Modal Logic
    • 232
    • PDF
    Modal logic and invariance
    • 12
    • PDF
    Modal Logics of Space
    • 128
    • PDF
    A General Semantics for Quantified Modal Logic
    • 13
    • PDF
    Epistemic logic for AI and computer science
    • J. Meyer, W. Hoek
    • Computer Science
    • Cambridge tracts in theoretical computer science
    • 1995
    • 633
    Modal Fixed-Point Logic and Changing Models
    • 23
    SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC
    • 626
    Lindstrom theorems for fragments of first-order logic
    • 16
    • PDF