Tense logics over lattices

DOI10.1007/978-3-031-15298-6_5MaRDI QIDQ6102994

Xiao-Yang Wang, Yanjing Wang

Publication date: 2 June 2023

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

zbMATH Keywords

latticemodal logiccompletenesshybrid logictense logicstep-by-steppolyadic modal logic

Mathematics Subject Classification ID

Logic in computer science (03B70)

Related Items (1)

Modal information logics: axiomatizations and decidability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Truth-maker semantics for intuitionistic logic
• On the modal logic of subset and superset: tense logic over Medvedev frames
• Nominal tense logic
• Modal logic with names
• Implicit and explicit stances in logic
• Systems of logic whose truth-values form lattices
• The lattice of modal logics: an algebraic investigation
• POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION
• Set-theoretic mereology
• MEREOLOGICAL BIMODAL LOGICS

This page was built for publication: Tense logics over lattices