Advances in Modal Logic : Volume 9

Publication: ResearchBook – Annual report year: 2012

View graph of relations

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last few generations, it was pursued mainly as a branch of philosophy. But in recent years, the subject has taken new directions with connections to topics in computer science and mathematics. This volume is the proceedings of the conference of record in its fi eld, Advances in Modal Logic. Its contributions are state-of-the-art papers. The topics include decidability and complexity results for specifi c modal logics, proof theory of modal logic, logics for reasoning about time and space, provability logic, dynamic epistemic logic, and the logic of evidence.
Original languageEnglish
Publication date2012
PublisherCollege Publications
Number of pages592
ISBN (print)978-1-84890-068-4
StatePublished

Conference

ConferenceAdvances in Modal Logic 2012
Number9
CountryDenmark
CityCopenhagen
Period22/08/1225/08/12
Internet addresshttp://hylocore.ruc.dk/aiml2012/
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 51143126