Modal Hybrid Logic

DOI10.12775/LLP.2007.006zbMath1145.03009OpenAlexW2019140254MaRDI QIDQ5446314

Andrzej Indrzejczak

Publication date: 6 March 2008

Published in: Logic and Logical Philosophy (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.12775/llp.2007.006

zbMATH Keywords

surveymodal logicscorrespondence theoryproof methodshybrid logicstense logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (3)

Simple cut elimination proof for hybrid logic ⋮ A Hilbert-style axiomatisation for equational hybrid logic ⋮ Refinement in hybridised institutions

This page was built for publication: Modal Hybrid Logic