First-order indefinite and uniform neighbourhood semantics

DOI10.1007/BF00405386zbMath0436.03009OpenAlexW2080587689MaRDI QIDQ1140625

Arnold Vander Nat

Publication date: 1979

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00405386

zbMATH Keywords

neighborhood semantics for modal propositional logics

Mathematics Subject Classification ID

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

Cites Work

• Decision procedures for Lewis' system S1 and related modal systems
• On Some Completeness Theorems in Modal Logic
• Algebraic semantics for modal logics I
• Extensions of Makinson's Completeness Theorems in Modal Logic
• Classical intensional logics
• Semantic analysis of tense logics
• Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
• A solution of the decision problem for the Lewis systems S2 and S4, with an application to topology
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: First-order indefinite and uniform neighbourhood semantics