Results 11 to 20 of about 795,596 (256)
A FIRST-ORDER FRAMEWORK FOR INQUISITIVE MODAL LOGIC [PDF]
The Review of Symbolic Logic, 2019 We present a natural standard translation of inquisitive modal logic $\mathrm{InqML}$ into first-order logic over the natural two-sorted relational representations of the intended models, which captures the built-in higher-order features of $\mathrm ...
Silke Meissner, M. Otto
semanticscholar +4 more sources
Action models in inquisitive logic [PDF]
Synthese, 2018 Information exchange can be viewed as a process of asking questions and answering them. While dynamic epistemic logic traditionally focuses on statements, recent developments have been concerned with ways of incorporating questions.
Thom van Gessel
semanticscholar +4 more sources
GAMES AND CARDINALITIES IN INQUISITIVE FIRST-ORDER LOGIC [PDF]
The Review of Symbolic Logic, 2021 Inquisitive first-order logic, InqBQ, is a system which extends classical first-order logic with formulas expressing questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures.
Gianluca Grilletti, Ivano Ciardelli
semanticscholar +4 more sources
Inquisitive Logic as an Epistemic Logic of Knowing How [PDF]
Annals of Pure and Applied Logic, 2022 draft, 28 pages, to appear in Annals of Pure and Applied ...
Hao Wang, Yanjing Wang, Yunsong Wang
semanticscholar +3 more sources
Propositional inquisitive logic: a survey [PDF]
Computer Science Journal of Moldova, 2016 This paper provides a concise survey of a body of recent work on propositional inquisitive logic. We review the conceptual foundations of inquisitive semantics, introduce the propositional system, discuss its relations with classical, intuitionistic, and
Ivano Ciardelli
doaj +4 more sources
, 2022 This open access book makes a case for extending logic beyond its traditional boundaries, to encompass not only statements but also also questions. The motivations for this extension are examined in detail.
Ciardelli, Ivano
core +3 more sources
Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality [PDF]
Workshop on Logic, Language, Information and Computation, 2019 We introduce new algebraic and topological semantics for inquisitive logic. The algebraic semantics is based on special Heyting algebras, which we call inquisitive algebras, with propositional valuations ranging over only the \(\lnot \lnot \)-fixpoints ...
N. Bezhanishvili +2 more
semanticscholar +5 more sources
Disjunction and Existence Properties in Inquisitive First-Order Logic [PDF]
Studia Logica, 2018 Classical first-order logic FO\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin ...
Gianluca Grilletti
semanticscholar +5 more sources
Inferential erotetic logic meets inquisitive semantics [PDF]
Synthese, 2015 Inferential erotetic logic (IEL) and inquisitive semantics (INQ) give accounts of questions and model various aspects of questioning. In this paper we concentrate upon connections between inquisitiveness, being the core concept of INQ, and question ...
A. Wiśniewski +1 more
semanticscholar +2 more sources
Coherence in inquisitive first-order logic
Annals of Pure and Applied Logic, 2022 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ivano Ciardelli, Gianluca Grilletti
semanticscholar +2 more sources