Back to Search

Conference item

Computational complexity of core fragments of modal logics T, K4, and S4

Publication status:: Published

Peer review status:: Peer reviewed

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Cite

Cite this record

APA Style

Walega, P. (2019). Computational complexity of core fragments of modal logics T, K4, and S4. Logics in Artificial Intelligence, 11468, 744–759.

MLA Style

Walega, P. “Computational Complexity of Core Fragments of Modal Logics T, K4, and S4.” Logics in Artificial Intelligence, vol. 11468, Springer International Publishing, 2019, pp. 744–59.

Chicago Style

Walega, P. 2019. “Computational Complexity of Core Fragments of Modal Logics T, K4, and S4.” In Logics in Artificial Intelligence, 11468:744–59. Lecture Notes in Computer Science. Springer International Publishing.
Tweet
Print

Access Document

Files:: Core_Modal.pdf

(Accepted manuscript, pdf, 471.5KB)

Publisher copy:: 10.1007/978-3-030-19570-0_48

Authors

+ Walega, P More by this author

Institution:

University of Oxford

Division:

MPLS

Department:

Computer Science

Role:

Author

Bibliographic Details

Publisher:: Springer International Publishing Publisher's website
Host title:: Logics in Artificial Intelligence
Series:: Lecture Notes in Computer Science
Journal:: Logics in Artificial Intelligence Journal website
Volume:: 11468
Pages:: 744-759
Publication date:: 2019-05-06
Acceptance date:: 2019-02-27
DOI:: 10.1007/978-3-030-19570-0_48

Item Description

Keywords:: FFR
Pubs id:: pubs:980225
UUID:: uuid:c53e2f70-e93d-4bd6-87ad-699f366b492e
Local pid:: pubs:980225
Source identifiers:: 980225
Deposit date:: 2019-03-06

Terms of use

Copyright holder:: Springer Nature Switzerland AG
Copyright date:: 2019
Notes:: © Springer Nature Switzerland AG 2019. This is the accepted manuscript version of the article. The final version is available online from Springer at: https://doi.org/10.1007/978-3-030-19570-0_48. This paper was presented at the 16th European Conference on Logics in Artificial Intelligence, 07-11 May 2019, Rende, Italy.

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Metrics

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP