Corpus ID: 62162288

Modal Logic for Open Minds

@inproceedings{Benthem2010ModalLF,
  title={Modal Logic for Open Minds},
  author={J. Benthem},
  year={2010}
}
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… Expand
117 Citations
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
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 77 REFERENCES
Modal logic
  • 1,313
  • Highly Influential
  • PDF
The Undecidability of Iterated Modal Relativization
  • 102
  • PDF
Tools and Techniques in Modal Logic
  • 235
  • 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
  • 634
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
...
1
2
3
4
5
...