Results 21 to 30 of about 23,531 (249)

Epistemic extensions of substructural inquisitive logics

open access: yesJournal of Logic and Computation, 2021
AbstractIn this paper, we study the epistemic extensions of distributive substructural inquisitive logics. Substructural inquisitive logics are logics of questions based on substructural logics of declarative sentences. They generalize basic inquisitive logic which is based on the classical logic of declaratives.
Vít Punčochář, Igor Sedlár
openaire   +1 more source

Inquisitive bisimulation

open access: yes, 2018
Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are ...
Ciardelli, Ivano, Otto, Martin
core   +1 more source

Foundations of Inquisitive Logic

open access: yes, 2022
AbstractIn this chapter, we lay the foundations for our enterprise. In particular, we explain how an information-based semantics,inquisitive semantics, allows us to interpret statements and questions in a uniform way and to define a general notion of entailment in which questions can occur as premises and conclusions.
openaire   +1 more source

Action models in inquisitive logic [PDF]

open access: yesSynthese, 2018
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

Inferential erotetic logic meets inquisitive semantics [PDF]

open access: yesSynthese, 2015
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Wiśniewski, Andrzej   +1 more
openaire   +1 more source

Uniform Definability in Propositional Dependence Logic

open access: yes, 2016
Both propositional dependence logic and inquisitive logic are expressively complete. As a consequence, every formula with intuitionistic disjunction or intuitionistic implication can be translated equivalently into a formula in the language of ...
Yang, Fan
core   +1 more source

Adult Sex Ratio as a Demographic Feedback Linking Mating Systems, Parental Care, and Evolution

open access: yesAdvanced Science, EarlyView.
Breeding systems are some of the most diverse social behavior, and our team is investigation the evolutionary causes of this diversity. This review summarises our research carried out at the University of Bath. We argue that demographic components of wild populations, especially the adult sex ratio, plays a key role driving breeding system variation ...
Tamás Székely, Oscar G. Miranda
wiley   +1 more source

Single‐Injection Multi‐Omics Analysis by Direct Infusion Mass Spectrometry

open access: yesAngewandte Chemie, EarlyView.
A high‐throughput direct infusion mass spectrometry platform, enabled by gas‐phase ion mobility separation, supports single‐injection analysis of peptides, polar metabolites, and lipids. Coupled with custom software, it identified ∽1,300 proteins and ∽600 metabolites in ∽4.3 minutes per sample, and demonstrated broad utility in macrophage polarization ...
Yuming Jiang   +6 more
wiley   +2 more sources

Mapping the Innovation DNA of Agribusiness Firms: A Multi‐Method Analysis of Strategic Capabilities and Performance

open access: yesAgribusiness, EarlyView.
ABSTRACT Innovation is essential for competitiveness in agribusiness facing dynamic environments. This study examines how market orientation, marketing, relational, and social capabilities influence innovation performance. Using data from 751 Spanish firms and a multi‐method approach that integrates Structural Equation Modeling (PLS‐SEM), Necessary ...
Beatriz Corchuelo Martínez‐Azúa   +1 more
wiley   +1 more source

Complexity of validity for propositional dependence logics

open access: yes, 2014
We study the validity problem for propositional dependence logic, modal dependence logic and extended modal dependence logic. We show that the validity problem for propositional dependence logic is NEXPTIME-complete.
Virtema, Jonni
core   +2 more sources

Home - About - Disclaimer - Privacy