Results in modal correspondence theory for possibility semantics

Yamamoto, Kentarô

doi:10.1093/logcom/exx024

Journal of Logic and Computation

2017

DOI: 10.1093/logcom/exx024

|View full text |Cite

Results in modal correspondence theory for possibility semantics

Kentarô Yamamoto

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2019

2025

Publication Types

Select...

Article4

Relationship

Self Cite0

Independent4

Authors

Journals

Cited by 4 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…On the other hand, possibility semantics still maintains the geometric intuition that makes Kripke frames powerful, whereas other more general semantics, such as arbitrary modal algebras, lose the geometric intuition. For other recent work on possibility semantics, see [18], [19], and [7].…”

mentioning

confidence: 99%

First-Order Possibility Models and Finitary Completeness Proofs

Harrison-Trainor

2019

The Review of Symbolic Logic

View full text Add to dashboard Cite

This article builds on Humberstone’s idea of defining models of propositional modal logic where total possible worlds are replaced by partial possibilities. We follow a suggestion of Humberstone by introducing possibility models for quantified modal logic. We show that a simple quantified modal logic is sound and complete for our semantics. Although Holliday showed that for many propositional modal logics, it is possible to give a completeness proof using a canonical model construction where every possibility consists of finitely many formulas, we show that this is impossible to do in the first-order case. However, one can still construct a canonical model where every possibility consists of a computable set of formulas and thus still of finitely much information.

show abstract

mentioning

confidence: 99%

First-Order Possibility Models and Finitary Completeness Proofs

Harrison-Trainor

2019

The Review of Symbolic Logic

View full text Add to dashboard Cite

show abstract

Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic

Zhao

2023

Stud Logica

View full text Add to dashboard Cite

A partial-state space model of unawareness

Holliday

2025

Journal of Mathematical Economics

View full text Add to dashboard Cite

scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.

Contact Info

customersupport@researchsolutions.com

10624 S. Eastern Ave., Ste. A-614

Henderson, NV 89052, USA

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Blog Terms and Conditions API Terms Privacy Policy Contact Cookie Preferences Do Not Sell or Share My Personal Information

Made with 💙 for researchers

Part of the Research Solutions Family.

Results in modal correspondence theory for possibility semantics

Cited by 4 publications

References 10 publications

First-Order Possibility Models and Finitary Completeness Proofs

First-Order Possibility Models and Finitary Completeness Proofs

Correspondence Theory for Modal Fairtlough–Mendler Semantics of Intuitionistic Modal Logic

A partial-state space model of unawareness

Contact Info

Product

Resources

About