Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case

DOI10.1093/JIGPAL/JZAB020MaRDI QIDQ5887988zbMATH OpenOpenAlexFDO

Authors Marcelo E. Coniglio, Newton M. Peron

Publication date 21 April 2023

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2101.02259

zbMATH Keywords

first-order modal logicnon-normal modal logicnon-deterministic matricesBarcan formulascontingent identitiesde re and de dicto modalitiesIvlev's logics

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Modal logic with non-deterministic semantics. I: Propositional case
• Finite non-deterministic semantics for some modal systems
• On non-deterministic quantification
• Modular non-deterministic semantics for T, TB, S4, S5 and more
• Logical non-determinism as a tool for logical modularity: an introduction

Cited in

(7)

• Tableau systems for some Ivlev-like (quantified) modal logics
• scientific article; zbMATH DE number 4095430 (Why is no real title available?)
• Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case
• RNmatrices for modal logics
• and in eight-valued non-deterministic semantics for modal logics
• From Wittgenstein’s N-operator to a New Notation for Some Decidable Modal Logics
• Modal logics -- RNmatrices vs. Nmatrices

This page was built for publication: Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5887988)