| 1. |
- Enqvist, Sebastian, et al.
(författare)
-
A Structuralist Framework for the Logic of Theory Change
- 2011
-
Ingår i: Belief revision meets philosophy of science. - 9789048196081
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Belief revision theory and philosophy of science both aspire to shed light on the dynamics of knowledge – on how our view of the world changes (typically) in the light of new evidence. Yet these two areas of research have long seemed strangely detached from each other, as witnessed by the small number of cross-references and researchers working in both domains. One may speculate as to what has brought about this surprising, and perhaps unfortunate, state of affairs. One factor may be that while belief revision theory has traditionally been pursued in a bottom- up manner, focusing on the endeavors of single inquirers, philosophers of science, inspired by logical empiricism, have tended to be more interested in science as a multi-agent or agent-independent phenomenon.
|
|
| 2. |
- Kehoe, Laura, et al.
(författare)
-
Make EU trade with Brazil sustainable
- 2019
-
Ingår i: Science. - : American Association for the Advancement of Science (AAAS). - 0036-8075 .- 1095-9203. ; 364:6438, s. 341-
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)
|
|
| 3. |
- Afshari, Bahareh, 1981, et al.
(författare)
-
Cyclic proofs for the first-order mu-calculus
- 2024
-
Ingår i: Logic Journal of the IGPL. - : Oxford University Press (OUP). - 1367-0751 .- 1368-9894. ; 32:1, s. 1-34
-
Tidskriftsartikel (refereegranskat)abstract
- We introduce a path-based cyclic proof system for first-order mu-calculus, the extension of first-order logic by second-order quantifiers for least and greatest fixed points of definable monotone functions. We prove soundness of the system and demonstrate it to be as expressive as the known trace-based cyclic systems of Dam and Sprenger. Furthermore, we establish cut-free completeness of our system for the fragment corresponding to the modal mu-calculus.
|
|
| 4. |
- Afshari, Bahareh, 1981, et al.
(författare)
-
PROOF SYSTEMS FOR TWO-WAY MODAL MU-CALCULUS
- 2023
-
Ingår i: Journal of Symbolic Logic (JSL). - 0022-4812 .- 1943-5886.
-
Tidskriftsartikel (refereegranskat)abstract
- We present sound and complete sequent calculi for the modal mu-calculus with converse modalities, aka two-way modal mu-calculus. Notably, we introduce a cyclic proof system wherein proofs can be represented as finite trees with back-edges, i.e., finite graphs. The sequent calculi incorporate ordinal annotations and structural rules for managing them. Soundness is proved with relative ease as is the case for the modal mu-calculus with explicit ordinals. The main ingredients in the proof of completeness are isolating a class of non-wellfounded proofs with sequents of bounded size, called slim proofs, and a counter-model construction that shows slimness suffices to capture all validities. Slim proofs are further transformed into cyclic proofs by means of re-assigning ordinal annotations.
|
|
| 5. |
|
|
| 6. |
- Carlsnaes, Walter, 1943-, et al.
(författare)
-
Editors' Introduction
- 2011. - 1
-
Ingår i: Foreign Policy Analysis. - London : Sage Publications. - 9781412921442 ; 3:1, s. 7-12
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)
|
|
| 7. |
- Enqvist, Sebastian, et al.
(författare)
-
A coalgebraic view of characteristic formulas in equational modal fixed point logic
- 2014
-
Ingår i: Coalgebraic Methods in Computer Science : 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers / Lecture notes in computer science (LNCS). - 1611-3349 .- 0302-9743. ; LNCS 8446
-
Konferensbidrag (refereegranskat)
|
|
| 8. |
|
|
| 9. |
- Enqvist, Sebastian
(författare)
-
A new coalgebraic Lindström theorem
- 2016
-
Ingår i: Journal of Logic and Computation. - : Oxford University Press (OUP). - 0955-792X .- 1465-363X. ; 26:5, s. 1541-1566
-
Tidskriftsartikel (refereegranskat)abstract
- In a recent article, Alexander Kurz and Yde Venema establish a Lindström theorem for coalgebraic modal logic that is shown to imply a modal Lindström theorem by Maarten de Rijke. A later modal Lindström theorem has been established by Johan van Benthem, and this result still lacks a coalgebraic formulation. The main obstacle has so far been the lack of a suitable notion of ‘submodels’ in coalgebraic semantics, and the problem is left open by Kurz and Venema. In this article, we propose a solution to this problem and derive a general coalgebraic Lindström theorem along the lines of van Benthem's result. We provide several applications of the result.
|
|
| 10. |
- Enqvist, Sebastian, et al.
(författare)
-
An expressive completeness theorem for coalgebraic modal mu-calculi
- 2017
-
Ingår i: Logical Methods in Computer Science. - 1860-5974. ; 13:2
-
Tidskriftsartikel (refereegranskat)abstract
- Generalizing standard monadic second-order logic for Kripke models, we introduce monadic second-order logic interpreted over coalgebras for an arbitrary set functor. We then consider invariance under behavioral equivalence of MSO-formulas. More specifically, we investigate whether the coalgebraic mu-calculus is the bisimulation-invariant fragment of the monadic second-order language for a given functor. Using automata theoretic techniques and building on recent results by the third author, we show that in order to provide such a characterization result it suffices to find what we call an adequate uniform construction for the coalgebraic type functor. As direct applications of this result we obtain a partly new proof of the Janin-Walukiewicz Theorem for the modal mu-calculus, avoiding the use of syntactic normal forms, and bisimulation invariance results for the bag functor (graded modal logic) and all exponential polynomial functors (including the game functor). As a more involved application, involving additional non-trivial ideas, we also derive a characterization theorem for the monotone modal mu-calculus, with respect to a natural monadic second-order language for monotone neighborhood models.
|
|
