Pages that link to "Item:Q4047530"
From MaRDI portal
The following pages link to On Some Completeness Theorems in Modal Logic (Q4047530):
Displaying 26 items.
- Logical analysis of demonic nondeterministic programs (Q671651) (← links)
- Alternative semantics for unawareness (Q700078) (← links)
- Ceteris paribus conditionals and comparative normalcy (Q861520) (← links)
- Grades of probability modality in the law of evidence (Q969425) (← links)
- Belief, awareness, and limited reasoning (Q1096610) (← links)
- A class of decidable information logics (Q1128479) (← links)
- First-order indefinite and uniform neighbourhood semantics (Q1140625) (← links)
- Interval logics with applications to study of tense and aspect in English (Q1145690) (← links)
- Amalgamation and interpolation in normal modal logics (Q1189894) (← links)
- A guide to completeness and complexity for modal logics of knowledge and belief (Q1193476) (← links)
- Modeling belief in dynamic systems. I: Foundations (Q1389534) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Characterizing the common prior assumption. (Q1867530) (← links)
- Topological reasoning and the logic of knowledge (Q1919762) (← links)
- A modal proof theory for final polynomial coalgebras (Q2503317) (← links)
- Modal logic with subjunctive conditionals and dispositional predicates (Q2560224) (← links)
- Combinations of tense and deontic modality: On the \(R_{t}\) approach to temporal logic with historical necessity and conditional obligation (Q2568340) (← links)
- Validity and necessity (Q2572383) (← links)
- Erdős Graphs Resolve Fine's Canonicity Problem (Q4678939) (← links)
- COMPLETENESS OF SECOND-ORDER PROPOSITIONAL S4 AND H IN TOPOLOGICAL SEMANTICS (Q4961741) (← links)
- Semantics for <i>RK</i><sub>t</sub> (Q5617624) (← links)
- Two-dimensional modal logic (Q5906166) (← links)
- A nonstandard approach to the logical omniscience problem (Q5917442) (← links)
- A nonstandard approach to the logical omniscience problem (Q5925570) (← links)
- Substitutional validity for modal logic (Q6187414) (← links)
