Results 21 to 30 of about 58,074 (157)

Model-theoretic characterization of intuitionistic propositional formulas [PDF]

, 2012
Notions of k-asimulation and asimulation are introduced as asymmetric counterparts to k-bisimulation and bisimulation, respectively. It is proved that a first-order formula is equivalent to a standard translation of an intuitionistic propositional ...
Olkhovikov, Grigory K.
core   +3 more sources

The modal logic of Reverse Mathematics [PDF]

, 2014
The implication relationship between subsystems in Reverse Mathematics has an underlying logic, which can be used to deduce certain new Reverse Mathematics results from existing ones in a routine way.
Mummert, Carl, Saadaoui, Alaeddine, Sovine, Sean   +2 more
core   +1 more source

On Stronger Calculi for QBFs

, 2016
Quantified Boolean formulas (QBFs) generalize propositional formulas by admitting quantifications over propositional variables. QBFs can be viewed as (restricted) formulas of first-order predicate logic and easy translations of QBFs into first-order ...
Egly, Uwe
core   +2 more sources

The Deduction Theorem for Strong Propositional Proof Systems [PDF]

, 2010
This paper focuses on the deduction theorem for propositional logic. We define and investigate different deduction properties and show that the presence of these deduction properties for strong proof systems is powerful enough to characterize the ...
C. Glaßer, C. Glaßer, C. Glaßer, C. Glaßer, J. Grollmann, J. Krajíček, J. Krajíček, J. Köbler, M.L. Bonet, M.L. Bonet, M.L. Bonet, O. Beyersdorff, O. Beyersdorff, O. Beyersdorff, O. Beyersdorff, Olaf Beyersdorff, P. Pudlák, S. Homer, S.A. Cook, Z. Sadowski   +19 more
core   +1 more source

Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables

, 2019
We show that Branching-time temporal logics CTL and CTL*, as well as Alternating-time temporal logics ATL and ATL*, are as semantically expressive in the language with a single propositional variable as they are in the full language, i.e., with an ...
A David, AP Sistla, D Walther, E Hemaspaandra, EA Emerson, EA Emerson, EM Clarke, EM Clarke, H Ditmarsch van, I Nishimura, Jan Plaza, JY Halpern, JY Halpern, M Huth, M Reynolds, M Rybakov, MC Nagle, MJ Fischer, P Blackburn, R Alur, R Fagin, S Demri, S Demri, S Schewe, V Goranko, V Goranko, V Goranko, V Švejdar, Valentin Goranko, W Hoek van der, Y Shoham   +30 more
core   +1 more source

Generic substitutions

, 2004
Up to equivalence, a substitution in propositional logic is an endomorphism of its free algebra. On the dual space, this results in a continuous function, and whenever the space carries a natural measure one may ask about the stochastic properties of the
Panti, Giovanni
core   +3 more sources

Transforming Numerical Feature Models into Propositional Formulas and the Universal Variability Language

Journal of Systems and Software, 2023
Munoz, Pinto and Fuentes work is supported by the European Union’s H2020 research and innovation programme under grant agreement DAEMON 101017109, by the projects co-financed by FEDER, Spain funds LEIA UMA18-FEDERJA-15, IRIS PID2021- 122812OB-I00 (MCI/AEI), and the PRE2019-087496 grant from the Ministerio de Ciencia e Innovación.
Daniel-Jesus Munoz, Monica Pinto, Lidia Fuentes, Don Batory   +3 more
openaire   +3 more sources

Beyond Q-Resolution and Prenex Form: A Proof System for Quantified Constraint Satisfaction [PDF]

, 2014
We consider the quantified constraint satisfaction problem (QCSP) which is to decide, given a structure and a first-order sentence (not assumed here to be in prenex form) built from conjunction and quantification, whether or not the sentence is true on ...
Chen, Hubie
core   +4 more sources

Exploring patients’ profiles associated with the resolution of acute calcium pyrophosphate arthritis treatedwith colchicine and prednisone: post hoc analysis of a randomized controlled trial

Arthritis Care &Research, Accepted Article.
Objective The objective was to identify factors determining acute arthritis resolution and safety with colchicine and prednisone in acute calcium pyrophosphate (CPP) crystal arthritis. Methods We conducted a post hoc analysis of the COLCHICORT trial, which compared colchicine and prednisone for the treatment of acute CPP crystal arthritis, using a ...
Tristan Pascart, Laurène Norberciak, Pascal Richette, Pierre Robinet, Aurore Pacaud, Gauthier Marchasson, Thibault Rabin, Hélène Luraschi, Pierre Maciejasz, Anne‐France Georgel, Augustin Latourte, Hang‐Korng Ea, Sébastien Ottaviani, Charlotte Jauffret, Vincent Ducoulombier   +14 more
wiley   +1 more source

Data‐Driven Distributed Safe Control Design for Multi‐Agent Systems

International Journal of Adaptive Control and Signal Processing, EarlyView.
This paper presents a data‐driven control barrier function (CBF) technique for ensuring safe control of multi‐agent systems (MASs) with uncertain linear dynamics. A data‐driven quadratic programming (QP) optimization is first developed for CBF‐based safe control of single‐agent systems using a nonlinear controller. This approach is then extended to the
Marjan Khaledi, Bahare Kiumarsi
wiley   +1 more source