Hybrid logic with propositional quantiers: Natural deduction style (Work in progress)

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Original languageEnglish
Title of host publicationNon-Classical Modal and Predicate Logic: Book of abstracts
PublisherRuhr University Bochum
Publication date2021
Pages29-32
Publication statusPublished - 2021
EventNon-Classical Modal and Predicate Logic - Germany, Bochum, Germany
Duration: 23 Nov 202126 Nov 2021
https://sites.google.com/view/ncmpl2021

Conference

ConferenceNon-Classical Modal and Predicate Logic
LocationGermany
Country/TerritoryGermany
CityBochum
Period23/11/202126/11/2021
Internet address

Cite this