Nearly every normal modal logic is paranormal

@inproceedings{Marcos2004NearlyEN,
  title={Nearly every normal modal logic is paranormal},
  author={Jo{\~a}o Marcos},
  year={2004}
}
An overcomplete logic is a logic that ‘ceases to make the difference’: According to such a logic, all inferences hold independently of the nature of the statements involved. A negation-inconsistent logic is a logic having at least one model that satisfies both some statement and its negation. A negation-incomplete logic has at least one model according to which neither some statement nor its negation are satisfied. Paraconsistent logics are negation-inconsistent yet non-overcomplete… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.
14 Citations
37 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 37 references

A taxonomy of C-systems

  • W. A. Carnielli, J. Marcos
  • Pure and Applied Mathematics,
  • 2002
Highly Influential
3 Excerpts

The Complete Lojban Language

  • J. W. Cowan
  • Logical Language Group Inc
  • 1997
Highly Influential
5 Excerpts

Dynamic dialectical logics

  • D. Batens
  • Paraconsistent Logic: Essays on the inconsistent,
  • 1989
Highly Influential
5 Excerpts

Admissible falsehood and refutable truth. Forthcoming

  • J. Marcos
  • 2005
Highly Influential
7 Excerpts

Consistency, completeness and negation

  • D. Vakarelov
  • Paraconsistent Logic: Essays on the inconsistent,
  • 1989
Highly Influential
3 Excerpts

Negative modal operators in intuitionistic logic. Publications de L’Institut Mathématique (Beograd) (N.S.), 35(49):3–14

  • K. Došen
  • 1984
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…