Questions tagged [modal-logic]
a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality
a type of formal logic primarily developed in the 1960s that extends classical propositional and predicate logic to include operators expressing modality