Results in modal correspondence theory for possibility semantics

DOI10.1093/LOGCOM/EXX024zbMath1444.03078OpenAlexW2739591385MaRDI QIDQ4555450

Kentarô Yamamoto

Publication date: 20 November 2018

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

Full work available at URL: https://escholarship.org/uc/item/2kf0p9bg

zbMATH Keywords

modal logiccorrespondence theorypossibility semanticsSahlqvist correspondence theorem

Mathematics Subject Classification ID

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

Related Items (2)

Correspondence theory for modal Fairtlough-Mendler semantics of intuitionistic modal logic ⋮ FIRST-ORDER POSSIBILITY MODELS AND FINITARY COMPLETENESS PROOFS

This page was built for publication: Results in modal correspondence theory for possibility semantics