Seminars
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
Calendar
Search
Add a seminar

RSS
Forthcoming seminars




Seminars "Proof Theory" and "Logic Online Seminar"
April 20, 2020 18:30, Moscow, online
 


Negation as a modality in a quantified setting

S. O. Speranski
Video records:
MP4 1,375.9 Mb
MP4 2,293.3 Mb
Supplementary materials:
Adobe PDF 417.1 Kb

Number of views:
This page:386
Video files:101
Materials:48
Youtube:

S. O. Speranski



Abstract: The idea of treating negation as a modality manifests itself in various logical systems, especially in Došen's propositional logic N, whose negation is weaker than that of Johansson's minimal logic. Among the interesting extensions of N are the propositional logics N* and Hype; the former was proposed by Cabalar, Odintsov and Pearce as a framework for studying foundations of well-founded semantics for logic programs with negation, while the latter has recently been advocated by Leitgeb as a basic system for dealing with hyperintensional contexts, but was first described by Moisil in 1942. I shall develop predicate versions of N and N*, and provide a simple Routley-style semantics for Leitgeb's predicate version of Hype. The corresponding strong completeness results will be presented. Also, Leitgeb mistakenly claimed that Hype has the disjunction property, so I shall briefly discuss related issues. In particular, the predicate version of Hype has neither the disjunction property nor the existential property. Finally, it should be remarked that this work can be seen as a starting point for the investigation of predicate intuitionistic modal logics.

Supplementary materials: speranski_miras_2020_04_20.pdf (417.1 Kb)

Language: English

* Join the Zoom meeting 20.04.2020 18:30 MSK (GMT +3) https://zoom.us/j/887484923
 
  Contact us:
 Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024