Results 11 to 20 of about 165,831 (331)
Belief merging within fragments of propositional logic [PDF]
ACM Transactions on Computational Logic, 2014 Recently, belief change within the framework of fragments of propositional logic has gained increasing attention. Previous works focused on belief contraction and belief revision on the Horn fragment.
Creignou, Nadia +3 more
core +4 more sources
Fragmentation and logical omniscience [PDF]
Noûs, 2021 AbstractIt would be good to have a Bayesian decision theory that assesses our decisions and thinking according to everyday standards of rationality—standards that do not require logical omniscience (Garber, 1983; Hacking, 1967). To that end we develop a “fragmented” decision theory in which a single state of mind is represented by a family of credence ...
Adam Elga, Agustín Rayo
openaire +1 more source
Interpolation in fragments of intuitionistic propositional logic [PDF]
The Journal of Symbolic Logic, 1989 AbstractWe show in this paper that all fragments of intuitionistic propositional logic based on a subset of the connectives ∧, ∨, →, ¬ satisfy interpolation. Fragments containing ↔ or ¬¬ are briefly considered.
Gerard R. Renardel de Lavalette
openalex +6 more sources
On the Succinctness of Atoms of Dependency [PDF]
Logical Methods in Computer Science, 2019 Propositional team logic is the propositional analog to first-order team logic. Non-classical atoms of dependence, independence, inclusion, exclusion and anonymity can be expressed in it, but for all atoms except dependence only exponential translations ...
Martin Lück, Miikka Vilander
doaj +1 more source
Existential Definability over the Subword Ordering [PDF]
Logical Methods in Computer Science, 2023 We study first-order logic (FO) over the structure consisting of finite words over some alphabet $A$, together with the (non-contiguous) subword ordering.
Pascal Baumann +3 more
doaj +1 more source
Positive Fragments of Coalgebraic Logics [PDF]
Logical Methods in Computer Science, 2013 Positive modal logic was introduced in an influential 1995 paper of Dunn as the positive fragment of standard modal logic. His completeness result consists of an axiomatization that derives all modal formulas that are valid on all Kripke frames and are built only from atomic propositions, conjunction, disjunction, box and diamond.
Balan, Adriana +2 more
openaire +5 more sources
The Relationship Between Separation Logic and Implicit Dynamic Frames [PDF]
Logical Methods in Computer Science, 2012 Separation logic is a concise method for specifying programs that manipulate dynamically allocated storage. Partially inspired by separation logic, Implicit Dynamic Frames has recently been proposed, aiming at first-order tool support.
Matthew J. Parkinson +1 more
doaj +1 more source
A Real-Valued Modal Logic [PDF]
Logical Methods in Computer Science, 2018 A many-valued modal logic is introduced that combines the usual Kripke frame semantics of the modal logic K with connectives interpreted locally at worlds by lattice and group operations over the real numbers.
Denisa Diaconescu +2 more
doaj +1 more source
Making first order linear logic a generating grammar [PDF]
Logical Methods in Computer Science, 2023 It is known that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic (MLL1). We show that the fragment of interest is equivalent to the recently introduced extended tensor type calculus (ETTC)
Sergey Slavnov
doaj +1 more source
Taming Strategy Logic: Non-Recurrent Fragments
Information and Computation, 2023 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Massimo Benerecetti +2 more
openaire +7 more sources