Abstract: We now start the formal treatment of (propositional) modal logic. And we begin with syntax. The language of propositional modal logic extends that of classical propositional logic, Definition 1.2.1 . Two new unary symbols are added, $$\square $$ (necessarily) and $$\lozenge $$ (possibly).
Publication Year: 2023
Publication Date: 2023-01-01
Language: en
Type: book-chapter
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot