In this paper, we define a multi-type calculus for inquisitive logic, which is sound, complete and enjoys Belnap-style cut-elimination and subformula property. Inquisitive logic is the logic of inquisitive semantics, a semantic framework developed by...
We propose a type-controlled framework for inquisitive question generation. We annotate an inquisitive question dataset with question types, train question type classifiers, and finetune models for type-controlled question generation. Empirical resul...
We prove two (strong) undefinability results for logics based on inquisitive semantics (or its variant, team semantics). Namely: 1) we show the undefinability of intuitionistic implication in extended propositional inquisitive logic with tensor; 2) w...
The aim of this paper is to study the complexity of the model checking problem MC for inquisitive propositional logic InqB and for inquisitive modal logic InqM, that is, the problem of deciding whether a given finite structure for the logic satisfies...
Inquisitive semantics is a framework in logic and natural language semantics. In inquisitive semantics, the semantic content of a sentence captures both
We explore an inquisitive modal logic designed to reason about neighborhood models. This logic is based on an inquisitive strict conditional operator, which quantifies over neighborhoods, and which can be applied to both statements and questions. In...
In this paper, we present an alternative interpretation of propositional inquisitive logic as an epistemic logic of knowing how. In our setting, an inquisitive logic formula $α$ being supported by a state is formalized as "knowing how to resolve $α...
The inquisitive shrew mole (Uropsilus investigator) is a species of mammal in the family Talpidae. It is only known from Yunnan province of China, although
Mar 28, 2019 · The Inquisitive is a new Universal Enhancement Tree based on the Master Inquisitive prestige class in the 3.5e Eberron Campaign Setting, Inquisitives are investigators who specialize in …
Mar 28, 2019 · The Inquisitive is a new Universal Enhancement Tree based on the Master Inquisitive prestige class in the 3.5e Eberron Campaign Setting, Inquisitives are investigators who specialize in …
No description (⭐ 2)
No description (⭐ 1)
Photography Portfolio Website (⭐ 0)
Predicate methods for those curious about their Ruby datastructures. (⭐ 5)
A personal self-hosted knowledge base with a touch of LLM/RAG (⭐ 12)
Hello, I've recently been cooking up a deck using Tamiyo, Inquisitive Student as my commander and been finding some solid success on it even finding a turn one flip off of a Mystic Remora but feel lik...
Hi, I recently bought a Tamiyo, Inquisitive Student and I want to make a deck out of it, I am fairly new to the game so I am basically brainless in deck building, and I want to ask if any of you have ...
I’ve got an itch to build and play [[Tamiyo, inquisitive scholar]], but she seems more like a cEDH commander since she’s able to draw half her library in turn 3-5. I get there are ways to counter ...
Mar 28, 2019 · The Inquisitive is a new Universal Enhancement Tree based on the Master Inquisitive prestige class in the 3.5e Eberron Campaign Setting, Inquisitives are investigators who specialize in …
No description (⭐ 17)