Paraconsistency in hybrid logic

DOI10.1093/LOGCOM/EXW027zbMath1396.03065OpenAlexW2539012841MaRDI QIDQ3133184

Diana Costa, Manuel A. Martins

Publication date: 13 February 2018

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10773/21301

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Paraconsistent logics (03B53)

Related Items (3)

Relation-changing models meet paraconsistency ⋮ Non-dual modal operators as a basis for 4-valued accessibility relations in hybrid logic ⋮ A Tableau System for Quasi-Hybrid Logic

This page was built for publication: Paraconsistency in hybrid logic