Possibility Frames and Forcing for Modal Logic | Paper Citation Record

Observation 3abda367-66e9-4eaa-a95d-bec9c673146b · outbound

This paper cites Strecker.

Possibility Frames and Forcing for Modal Logic Strecker

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.519084Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e145ec93-5fd3-4c84-a6bf-897be9cb3e05 · outbound

This paper cites Andr\' e ka and I.

Possibility Frames and Forcing for Modal Logic Andr\' e ka and I

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.524926Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0d90e060-0342-46f9-8047-196a0f40b7c4 · outbound

This paper cites Ultraproducts of continuous posets.

Possibility Frames and Forcing for Modal Logic Ultraproducts of continuous posets

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.530574Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d6fb43e6-9238-457a-a05b-52fb8f0cc9da · outbound

This paper cites Distributive Lattices.

Possibility Frames and Forcing for Modal Logic Distributive Lattices

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.536008Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd08825e-f869-4e30-be51-9cb4673340e8 · outbound

This paper cites A Note on Modal Formulae and Relational Properties.

Possibility Frames and Forcing for Modal Logic A Note on Modal Formulae and Relational Properties

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.541810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3cc499bc-fa20-4ae6-ba79-8cbd26e6db75 · outbound

This paper cites Modal Correspondence Theory.

Possibility Frames and Forcing for Modal Logic Modal Correspondence Theory

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.547122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9de30e34-82f6-4d67-ab12-94466e288072 · outbound

This paper cites Modal Formulas Are Either Elementary or Not -Elementary.

Possibility Frames and Forcing for Modal Logic Modal Formulas Are Either Elementary or Not -Elementary

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.553049Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d8353072-1103-45de-a012-a95a009ca0f5 · outbound

This paper cites Two simple incomplete modal logics.

Possibility Frames and Forcing for Modal Logic Two simple incomplete modal logics

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.557449Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6fa9c1ff-d283-4159-9a7e-a24c58c4e7d5 · outbound

This paper cites Syntactic aspects of modal incompleteness theorems.

Possibility Frames and Forcing for Modal Logic Syntactic aspects of modal incompleteness theorems

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.561919Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f57fd55-6f91-4ade-89bd-00cf32b1d984 · outbound

This paper cites Canonical Modal Logics and Ultrafilter Extensions.

Possibility Frames and Forcing for Modal Logic Canonical Modal Logics and Ultrafilter Extensions

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.567012Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 725c11cb-0e69-4331-a20c-4afaca0595a2 · outbound

This paper cites Possible Worlds Semantics for Classical Logic.

Possibility Frames and Forcing for Modal Logic Possible Worlds Semantics for Classical Logic

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.572744Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7a588102-1f95-4e7b-b07f-c53179625e3a · outbound

This paper cites Modal Logic and Classical Logic.

Possibility Frames and Forcing for Modal Logic Modal Logic and Classical Logic

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.577950Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5930936-b2e9-494c-86cf-64e275f8559f · outbound

This paper cites Partiality and Nonmonotonicity in Classical Logic.

Possibility Frames and Forcing for Modal Logic Partiality and Nonmonotonicity in Classical Logic

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.582579Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 243db9c8-80c2-4a12-b708-7dca56e3c061 · outbound

This paper cites A Manual of Intensional Logic.

Possibility Frames and Forcing for Modal Logic A Manual of Intensional Logic

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.587298Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8883df58-26bb-478a-bb99-50bc0587be82 · outbound

This paper cites Correspondence Theory.

Possibility Frames and Forcing for Modal Logic Correspondence Theory

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.592161Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 51a5fb8d-d352-456a-9376-624b943474fc · outbound

This paper cites Modal Logic for Open Minds.

Possibility Frames and Forcing for Modal Logic Modal Logic for Open Minds

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.596763Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c3e04ab-a28b-42bc-8cfb-68d4886af583 · outbound

This paper cites Holliday.

Possibility Frames and Forcing for Modal Logic Holliday

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.601814Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa483d5d-ed18-422c-8c98-64648cd6f8d8 · outbound

This paper cites an unresolved cited work.

Possibility Frames and Forcing for Modal Logic Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.606799Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb5ce396-aa6c-41db-936c-229be8e0e2eb · outbound

This paper cites Bezhanishvili and W.

Possibility Frames and Forcing for Modal Logic Bezhanishvili and W

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.611869Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3381a695-6999-45b6-b947-edab58aee7ef · outbound

This paper cites Varieties of Monadic Heyting Algebras Part II: Duality Theory.

Possibility Frames and Forcing for Modal Logic Varieties of Monadic Heyting Algebras Part II: Duality Theory

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.616592Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation beac6673-4c3d-49c7-8164-bb8af573a92f · outbound

This paper cites Holliday.

Possibility Frames and Forcing for Modal Logic Holliday

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.621341Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ae450ac3-64c6-432a-bcd3-003317e2c16c · outbound

This paper cites Lattices of intermediate and cylindric modal logics.

Possibility Frames and Forcing for Modal Logic Lattices of intermediate and cylindric modal logics

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.626228Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 834f3fa3-6510-4dd5-921b-42317cdf68d4 · outbound

This paper cites On the Structure of Abstract Algebras.

Possibility Frames and Forcing for Modal Logic On the Structure of Abstract Algebras

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.631038Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 19120a73-2288-42e3-82c5-97992259f463 · outbound

This paper cites Lattice Theory, volume 25 of Colloquium Publications.

Possibility Frames and Forcing for Modal Logic Lattice Theory, volume 25 of Colloquium Publications

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.635830Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8414c2cc-2e74-443b-8789-d3e5cb22bbaf · outbound

This paper cites Modal Logic: A Semantic Perspective.

Possibility Frames and Forcing for Modal Logic Modal Logic: A Semantic Perspective

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.640907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 31964017-205e-457c-8a0a-65cc5bf0fb7d · outbound

This paper cites Modal Logic.

Possibility Frames and Forcing for Modal Logic Modal Logic

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.646355Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ee7e1d98-456c-4d2a-913e-085cd88141ef · outbound

This paper cites an unresolved cited work.

Possibility Frames and Forcing for Modal Logic Unresolved cited work

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.653080Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 95fa0e5d-1766-4cfe-b55d-5d10fc11eaf8 · outbound

This paper cites an unresolved cited work.

Possibility Frames and Forcing for Modal Logic Unresolved cited work

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.658596Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2c2e2ab-6c7a-433a-969c-2ed23fba22a2 · outbound

This paper cites Compositionality solves Carnap's problem.

Possibility Frames and Forcing for Modal Logic Compositionality solves Carnap's problem

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.665122Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78c1bd6a-3e9f-4a34-9a85-9459b4c0dd83 · outbound

This paper cites An Incomplete Systems of Modal Logic.

Possibility Frames and Forcing for Modal Logic An Incomplete Systems of Modal Logic

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.670039Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4af4702c-09fa-42a6-8997-b8c7d58ed194 · outbound

This paper cites Models for normal intuitionistic modal logics.

Possibility Frames and Forcing for Modal Logic Models for normal intuitionistic modal logics

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.674847Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e66d34f3-c89b-40f4-bf99-09846f00ab06 · outbound

This paper cites Some Properties Related to Compactness in Topological Spaces.

Possibility Frames and Forcing for Modal Logic Some Properties Related to Compactness in Topological Spaces

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.679848Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8529f44e-9bf3-476f-ba07-c2d9bb89d253 · outbound

This paper cites A New Semantics for Positive Modal Logic.

Possibility Frames and Forcing for Modal Logic A New Semantics for Positive Modal Logic

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.684660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f7de734b-471c-41db-8767-2c3953fc0f7f · outbound

This paper cites A Closer Look at Some Subintuitionistic Logics.

Possibility Frames and Forcing for Modal Logic A Closer Look at Some Subintuitionistic Logics

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.689492Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 348308cc-3d86-40f2-a8d3-78a8d7e60531 · outbound

This paper cites Modal Logic.

Possibility Frames and Forcing for Modal Logic Modal Logic

Reference 35

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.694912Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6dd8071c-e708-40f6-ad49-be756d9d10e3 · outbound

This paper cites an unresolved cited work.

Possibility Frames and Forcing for Modal Logic Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.699819Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 491dc568-6ecb-493b-9e54-a1198619f4d7 · outbound

This paper cites an unresolved cited work.

Possibility Frames and Forcing for Modal Logic Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.705109Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c9273eb-8684-45d3-b109-c3be102c17bc · outbound

This paper cites Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic.

Possibility Frames and Forcing for Modal Logic Modalities in the Realm of Questions: Axiomatizing Inquisitive Epistemic Logic

Reference 38

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.709928Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5bfef49-526a-4388-9a99-b8f6c371d879 · outbound

This paper cites Inquisitive Logic.

Possibility Frames and Forcing for Modal Logic Inquisitive Logic

Reference 39

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.714414Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 261e9a48-f543-4d61-b657-a7d819ac209a · outbound

This paper cites Inquisitive dynamic epistemic logic.

Possibility Frames and Forcing for Modal Logic Inquisitive dynamic epistemic logic

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.719572Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa7bbd1a-502b-42f8-a252-137b55b93d52 · outbound

This paper cites Inquisitive Semantics: A New Notion of Meaning.

Possibility Frames and Forcing for Modal Logic Inquisitive Semantics: A New Notion of Meaning

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.724398Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 13fc2de5-6af8-4344-b17a-cda091c1340a · outbound

This paper cites On the semantics and logic of declaratives and interrogatives.

Possibility Frames and Forcing for Modal Logic On the semantics and logic of declaratives and interrogatives

Reference 42

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.729620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b7af6c4f-aa68-4397-9a58-1edec62f5757 · outbound

This paper cites Ciardelli.

Possibility Frames and Forcing for Modal Logic Ciardelli

Reference 43

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.735501Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be549079-2d6c-42a0-bc3e-213e22c00611 · outbound

This paper cites Ciardelli.

Possibility Frames and Forcing for Modal Logic Ciardelli

Reference 44

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.740243Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bedf7279-0a4d-4c83-9398-71d5ad35dd88 · outbound

This paper cites an unresolved cited work.

Possibility Frames and Forcing for Modal Logic Unresolved cited work

Reference 45

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.745475Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2221ba58-6109-4ac0-b6e9-ed90904fb283 · outbound

This paper cites Constructive Canonicity of Inductive Inequalities.

Possibility Frames and Forcing for Modal Logic Constructive Canonicity of Inductive Inequalities

Reference 46

Resolution: verified exact; local_arxiv, observed 2026-08-10T18:06:25.581530Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-17T06:30:58.91139+00:00.

Observation 531c7876-ead7-43e7-bd22-fd3462529c0d · outbound

This paper cites Algebraic modal correspondence: Sahlqvist and beyond.

Possibility Frames and Forcing for Modal Logic Algebraic modal correspondence: Sahlqvist and beyond

Reference 47

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.755780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 78cef205-4f48-4332-941a-638752e3c8ee · outbound

This paper cites Cresswell.

Possibility Frames and Forcing for Modal Logic Cresswell

Reference 48

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.760413Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f2799076-cee7-4d49-bedb-7de1879a1218 · outbound

This paper cites Davey and H.A.

Possibility Frames and Forcing for Modal Logic Davey and H.A

Reference 49

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.765216Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9e52c83-321c-42b6-8cb8-e08d251d4286 · outbound

This paper cites Duality Between Modal Algebras and Neighborhood Frames.

Possibility Frames and Forcing for Modal Logic Duality Between Modal Algebras and Neighborhood Frames

Reference 50

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.769900Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8489a540-30ee-47cf-834b-12b051147d25 · outbound

This paper cites an unresolved cited work.

Possibility Frames and Forcing for Modal Logic Unresolved cited work

Reference 51

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.774669Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b75b54d-ce5f-4163-ae3a-514a907ef86b · outbound

This paper cites Michael Dunn, Mai Gehrke, and Alessandra Palmigiano.

Possibility Frames and Forcing for Modal Logic Michael Dunn, Mai Gehrke, and Alessandra Palmigiano

Reference 52

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.779605Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 459551c5-f119-4ef3-b1e8-0056debfbaf7 · outbound

This paper cites The Paradox of Knowability.

Possibility Frames and Forcing for Modal Logic The Paradox of Knowability

Reference 53

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.784956Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02821a4a-38bc-42eb-9eb7-93dbe3cbab5d · outbound

This paper cites Possible knowledge of unknown truth.

Possibility Frames and Forcing for Modal Logic Possible knowledge of unknown truth

Reference 54

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.791351Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a697d899-95fc-4ebb-81a4-c059668fc9ea · outbound

This paper cites Topological Kripke Models.

Possibility Frames and Forcing for Modal Logic Topological Kripke Models

Reference 55

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.796884Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 10a2ff33-5600-4cf9-ab6c-90f934a2fc22 · outbound

This paper cites Propositional Lax Logic.

Possibility Frames and Forcing for Modal Logic Propositional Lax Logic

Reference 56

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.801587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e977781d-9ee5-465c-84bc-129676ce428f · outbound

This paper cites Feferman.

Possibility Frames and Forcing for Modal Logic Feferman

Reference 57

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.808425Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e268a816-7ec8-4b55-a1b8-3072bbac1467 · outbound

This paper cites Models for Entailment.

Possibility Frames and Forcing for Modal Logic Models for Entailment

Reference 58

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.813713Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 84ca903f-208a-4de3-bccb-5cedcb321473 · outbound

This paper cites An incomplete logic containing S4.

Possibility Frames and Forcing for Modal Logic An incomplete logic containing S4

Reference 59

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.819620Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4047affa-1442-446d-9498-417a8e63a402 · outbound

This paper cites Vagueness, Truth and Logic.

Possibility Frames and Forcing for Modal Logic Vagueness, Truth and Logic

Reference 60

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.824636Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 22c2ccff-93b7-4100-a5f7-3020c1a5d033 · outbound

This paper cites Some Connections Between Elementary and Modal Logic.

Possibility Frames and Forcing for Modal Logic Some Connections Between Elementary and Modal Logic

Reference 61

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.829871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8312503a-ecd3-46ae-8a03-73e55f41360d · outbound

This paper cites An Observation Concerning Porte's Rule in Modal Logic.

Possibility Frames and Forcing for Modal Logic An Observation Concerning Porte's Rule in Modal Logic

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.835818Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ad11c35d-bb17-404d-ae23-895e44a2565d · outbound

This paper cites Pseudo-complements in semi-lattices.

Possibility Frames and Forcing for Modal Logic Pseudo-complements in semi-lattices

Reference 63

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.840690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation acb6fb01-58cb-4168-9d03-b1e0a6ff47f0 · outbound

This paper cites Modal logic.

Possibility Frames and Forcing for Modal Logic Modal logic

Reference 64

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.846672Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9e10aed3-33b7-4740-91a8-9a18e3559e51 · outbound

This paper cites an unresolved cited work.

Possibility Frames and Forcing for Modal Logic Unresolved cited work

Reference 65

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.851647Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 603108a2-b610-4ce9-88ca-8434a4102050 · outbound

This paper cites Bounded Lattice Expansions.

Possibility Frames and Forcing for Modal Logic Bounded Lattice Expansions

Reference 66

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.856587Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c7f5a727-8c13-4527-a8bc-46280c239613 · outbound

This paper cites Priestley.

Possibility Frames and Forcing for Modal Logic Priestley

Reference 67

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.862783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0f18179c-aeba-41c4-907f-c6ac5b6c0215 · outbound

This paper cites MacNeille Completions and Canonical Extensions.

Possibility Frames and Forcing for Modal Logic MacNeille Completions and Canonical Extensions

Reference 68

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.867727Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 52e7b796-d3df-4c98-8407-13e698c4b0bb · outbound

This paper cites U ber das Verh\.

Possibility Frames and Forcing for Modal Logic U ber das Verh\

Reference 69

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.872446Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4624ae00-9d6a-42a4-b4eb-2a4d81535d0f · outbound

This paper cites Die Widerspruchsfreiheit der reinen Zahlentheorie.

Possibility Frames and Forcing for Modal Logic Die Widerspruchsfreiheit der reinen Zahlentheorie

Reference 70

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.877512Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 42a65f5b-0b91-4f12-8308-8650d334b3a0 · outbound

This paper cites U ber das Verh\.

Possibility Frames and Forcing for Modal Logic U ber das Verh\

Reference 71

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.882660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a8c1ea66-85c1-4f32-bcb8-ea652e4b4043 · outbound

This paper cites An algebraic theory of normal forms.

Possibility Frames and Forcing for Modal Logic An algebraic theory of normal forms

Reference 72

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.892034Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 73a88034-598d-40ef-ab6c-a2ff305fc03e · outbound

This paper cites Constructive canonicity in non-classical logics.

Possibility Frames and Forcing for Modal Logic Constructive canonicity in non-classical logics

Reference 73

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.897436Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 245c6448-c95e-4bce-a20f-1ecf7fcb61c0 · outbound

This paper cites Givant and Y.

Possibility Frames and Forcing for Modal Logic Givant and Y

Reference 74

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.902289Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 601614e6-c388-4861-8de3-1b185a4f19c7 · outbound

This paper cites Duality Theories for Boolean Algebras with Operators.

Possibility Frames and Forcing for Modal Logic Duality Theories for Boolean Algebras with Operators

Reference 75

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.907886Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2ae87e1f-c686-4704-a9b6-faa91077e284 · outbound

This paper cites Introduction to Boolean Algebras.

Possibility Frames and Forcing for Modal Logic Introduction to Boolean Algebras

Reference 76

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.912645Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 68c271d1-26f1-4ad3-8517-e78edc2b4c7e · outbound

This paper cites Sur quelques points de la logique de M.

Possibility Frames and Forcing for Modal Logic Sur quelques points de la logique de M

Reference 77

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.918059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation bb7c866e-b77b-4a64-88af-ff6ba2d5c595 · outbound

This paper cites Zur intuitionistischen arithmetik und zahlentheorie.

Possibility Frames and Forcing for Modal Logic Zur intuitionistischen arithmetik und zahlentheorie

Reference 78

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.925660Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b75fed51-9a3d-4cc8-b52e-42fa0755659d · outbound

This paper cites an unresolved cited work.

Possibility Frames and Forcing for Modal Logic Unresolved cited work

Reference 79

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.931048Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d0110364-5624-4876-b70f-82f90580e245 · outbound

This paper cites an unresolved cited work.

Possibility Frames and Forcing for Modal Logic Unresolved cited work

Reference 80

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.935784Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 254c7542-0684-4e30-8085-1e05a7ea49b9 · outbound

This paper cites an unresolved cited work.

Possibility Frames and Forcing for Modal Logic Unresolved cited work

Reference 81

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.940365Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation efe0dd8a-b176-4264-9ae2-0636d298da3c · outbound

This paper cites an unresolved cited work.

Possibility Frames and Forcing for Modal Logic Unresolved cited work

Reference 82

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.945059Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 30ba9b9b-277d-421c-90b4-f4547a970c4e · outbound

This paper cites Metamathematics of Modal Logic.

Possibility Frames and Forcing for Modal Logic Metamathematics of Modal Logic

Reference 83

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.950213Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8ac0a628-f886-4727-90de-eb36380cb591 · outbound

This paper cites Mathematics of Modality.

Possibility Frames and Forcing for Modal Logic Mathematics of Modality

Reference 84

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.954810Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 32fecbb8-1fdc-42bb-bf60-033e6f60cc9f · outbound

This paper cites Mathematical Modal Logic: A View of Its Evolution.

Possibility Frames and Forcing for Modal Logic Mathematical Modal Logic: A View of Its Evolution

Reference 85

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.959685Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1c2761d-5cee-4540-b01e-2564640ca94b · outbound

This paper cites Maps and Monads for Modal Frames.

Possibility Frames and Forcing for Modal Logic Maps and Monads for Modal Frames

Reference 86

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.964379Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1e357067-a669-4e1a-86bb-9fb206983b33 · outbound

This paper cites Goldblatt.

Possibility Frames and Forcing for Modal Logic Goldblatt

Reference 87

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.969175Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d3b03c2b-30a8-4fae-a03b-59f4da5105e3 · outbound

This paper cites Model Theory of Modal Logic.

Possibility Frames and Forcing for Modal Logic Model Theory of Modal Logic

Reference 88

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.974183Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d827abaa-e038-4411-9270-9b2029b5dd66 · outbound

This paper cites Halpern and Azriel L\' e vy.

Possibility Frames and Forcing for Modal Logic Halpern and Azriel L\' e vy

Reference 89

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.979780Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c18a787d-5504-4add-9194-18b696d7a686 · outbound

This paper cites MacNeille Completions of Modal Algebras.

Possibility Frames and Forcing for Modal Logic MacNeille Completions of Modal Algebras

Reference 90

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.984783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 38b0230d-0002-45fa-a376-ee8adc8e7595 · outbound

This paper cites A Representation Theorem for Possibility Models.

Possibility Frames and Forcing for Modal Logic A Representation Theorem for Possibility Models

Reference 91

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.989670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d99b4fb9-8b3a-475a-aac8-3629567f9609 · outbound

This paper cites First-Order Possibility Models and Finitary Completeness Proofs.

Possibility Frames and Forcing for Modal Logic First-Order Possibility Models and Finitary Completeness Proofs

Reference 92

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:24.995006Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d2fd871e-68fd-45ff-a18b-026764695990 · outbound

This paper cites The Expressive Power of Modal Dependence Logic.

Possibility Frames and Forcing for Modal Logic The Expressive Power of Modal Dependence Logic

Reference 93

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:25.000369Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0b4e278-96e2-4d8c-bfee-f13eb86a0e3c · outbound

This paper cites Holliday.

Possibility Frames and Forcing for Modal Logic Holliday

Reference 94

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:25.005472Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2a866b60-7032-4ef8-8bd4-3fdf17e66f9d · outbound

This paper cites Holliday.

Possibility Frames and Forcing for Modal Logic Holliday

Reference 95

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:25.010308Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 441fcb39-d866-4164-9ee7-dfe30837f7f7 · outbound

This paper cites Holliday.

Possibility Frames and Forcing for Modal Logic Holliday

Reference 96

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:25.015417Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6925096d-0340-45a9-a3c3-d52b38df505f · outbound

This paper cites Holliday.

Possibility Frames and Forcing for Modal Logic Holliday

Reference 97

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:25.020651Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation be84d73f-383c-4eb8-a883-ba5a6e2378aa · outbound

This paper cites Holliday.

Possibility Frames and Forcing for Modal Logic Holliday

Reference 98

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:25.026043Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4614f3b6-0d40-48e6-8496-2a14f3e19998 · outbound

This paper cites Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics.

Possibility Frames and Forcing for Modal Logic Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics

Reference 99

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:25.031298Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2cacf76c-2b1a-4bea-b24a-6031939b1290 · outbound

This paper cites Holliday.

Possibility Frames and Forcing for Modal Logic Holliday

Reference 100

Resolution: unresolved; no resolver link, observed 2026-08-10T18:06:25.036772Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Coverage vector

Reference resolution

Outbound references

Pith citing papers