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
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity
- Mathematics, Computer Science
- Log. J. IGPL
- 2016
References
SHOWING 1-10 OF 77 REFERENCES
The Undecidability of Iterated Modal Relativization
- Mathematics, Computer Science
- Stud Logica
- 2005
- 102
- PDF
Epistemic logic for AI and computer science
- Computer Science
- Cambridge tracts in theoretical computer science
- 1995
- 634
Lindstrom theorems for fragments of first-order logic
- Computer Science, Mathematics
- 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007)
- 2007
- 16
- PDF