Source author record

Marcelo E. Coniglio

Marcelo E. Coniglio appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.LO Logic in Computer Science

Catalog footprint

What is connected

3works

2topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2022arXiv

Tableau systems for some Ivlev-like (quantified) modal logics

Ivlev's pioneering work started in the 1970's showed a new and promissory way in the study of modal logic from the perspective of many-valued logics. Continuing our previous work on Ivlev-like non-normal modal logics with non-deterministic semantics, we present in this paper tableau systems for Tm, S4m and S5m, the non-normal versions of T, S4 and S5, respectively, as well as for their corresponding first-order extensions Tm*, S4m* and S5m*.

preprint2021arXiv

Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case

In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke's possible world semantics. This kind of modal systems characterized by finite non-deterministic matrices was originally proposed by Ju. Ivlev in the 70's. The aim of this second paper is to introduce a formal non-deterministic semantical framework for the quantified versions of some Ivlev-like non-normal modal logics. It will be shown that several well-known controversial issues of quantified modal logics, relative to the identity predicate, Barcan's formulas, and de dicto and de re modalities, can be tackled from a new angle within the present framework.

preprint2013arXiv

Sequent Calculi for the classical fragment of Bochvar and Halldén's Nonsense Logics

In this paper sequent calculi for the classical fragment (that is, the conjunction-disjunction-implication-negation fragment) of the nonsense logics B3, introduced by Bochvar, and H3, introduced by Halldén, are presented. These calculi are obtained by restricting in an appropriate way the application of the rules of a sequent calculus for classical propositional logic CPL. The nice symmetry between the provisos in the rules reveal the semantical relationship between these logics. The Soundness and Completeness theorems for both calculi are obtained, as well as the respective Cut elimination theorems.