Modal Logic With Non-Deterministic Semantics: Part II—Quantified Case
From MaRDI portal
Publication:5887988
DOI10.1093/jigpal/jzab020MaRDI QIDQ5887988
Marcelo E. Coniglio, Newton M. Peron, Unnamed Author
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
first-order modal logic; non-normal modal logic; non-deterministic matrices; Barcan formulas; contingent identities; de re and de dicto modalities; Ivlev's logics