Crossmark

Completeness Theorems for $$\exists \Box $$-Fragment of First-Order Modal Logic

Crossref DOI link: https://doi.org/10.1007/978-3-030-88708-7_20

Published Online: 2021-10-04

Published Print: 2021

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Wang, Xun http://orcid.org/0000-0003-2263-0567
License Information

Text and Data Mining valid from 2021-01-01

Version of Record valid from 2021-01-01

Text and Data Mining valid from 2021-01-01

Version of Record valid from 2021-01-01
More Information

Chapter History

First Online: 4 October 2021

Conference Information

Conference Acronym: LORI

Conference Name: International Workshop on Logic, Rationality and Interaction

Conference City: Xi’an

Conference Country: China

Conference Year: 2021

Conference Start Date: 16 October 2021

Conference End Date: 18 October 2021

Conference Number: 8

Conference ID: lori2021

Conference URL: http://golori.org/lori2021/

Peer Review Information (provided by the conference organizers)

Type: Double-blind

Conference Management System: EasyChair

Number of Submissions Sent for Review: 40

Number of Full Papers Accepted: 15

Number of Short Papers Accepted: 7

Acceptance Rate of Full Papers: 38% - The value is computed by the equation "Number of Full Papers Accepted / Number of Submissions Sent for Review * 100" and then rounded to a whole number.

Average Number of Reviews per Paper: 2

Average Number of Papers per Reviewer: 5

External Reviewers Involved: Yes