A four-valued hybrid logic with non-dual modal operators

DOI10.1007/978-3-030-38808-9_6zbMath1496.03080OpenAlexW2999753632MaRDI QIDQ777885

Diana Costa, Manuel A. Martins

Publication date: 8 July 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-38808-9_6

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Related Items (1)

Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic

This page was built for publication: A four-valued hybrid logic with non-dual modal operators