Results 1 to 10 of about 5,465 (140)

Bisimulation in Inquisitive Modal Logic [PDF]

open access: yesElectronic Proceedings in Theoretical Computer Science, 2017
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 ...
Ivano Ciardelli, Martin Otto
doaj   +3 more sources

Inquisitive Semantics [PDF]

open access: yes, 2018
There is an age-old tradition in linguistics and philosophy to identify the meaning of a entence with its truth-conditions. This can be explained by the fact that linguistic and philosophical investigations are usually carried out in a logical framework ...
Ciardelli, Ivano   +2 more
core   +6 more sources

Malay proverbs in inquisitive Semantics approach lens: The case of Malaysian textbooks

open access: yesIndonesian Journal of Applied Linguistics, 2023
With reference to the Malay Language Secondary School Standard Curriculum, proverbs in Malaysian contexts are one of the language aspects that students needs to use integrated in the language teaching.
Mohd Ridzuan Md Nasir   +1 more
doaj   +3 more sources

Analisis Semantik Inkuisitif Peribahasa Bahasa Melayu (Inquisitive Semantics Analysis in the Malay Language Proverbs)

open access: yesMalaysian Journal of Learning and Instruction, 2019
Tujuan - Aspek pengajaran peribahasa harus dianggap sama penting dengan aspek-aspek lain dalam proses pembelajaran bahasa di sekolah. Peribahasa yang melambangkan kebijaksanaan masyarakat Melayu ini semakin terpinggir dalam sistem pendidikan dan ...
Mohd Ridzuan Bin Md Nasir   +1 more
doaj   +3 more sources

Motif Kawung Pada Batik Tradisional Yogyakarta: Kajian Semantik Inkuisitif

open access: yesRanah: Jurnal Kajian Bahasa, 2022
This study uses an inquisitive semantic approach as the main analysis. The data and sources of data in this study were obtained through interviews with sources, namely the Javanese people, especially the Yogyakarta area who lived in Siak Regency with an ...
Hermandra Hermandra
doaj   +1 more source

Ignorance and competence implicatures in central Sicilian polar questions

open access: yesIsogloss, 2022
In this paper we examine the distribution and functions of two optional particles found in polar questions in central Sicilian: chi and cusà. The import of these particles can best be understood if their distribution in various types of ‘non-canonical’
Valentina Bianchi, Silvio Cruschina
doaj   +1 more source

Group Inquiry [PDF]

open access: yes, 2022
Group agents can act, they can have knowledge. How should we understand the species of collective action which aims at knowledge? In this paper, I present an account of group inquiry.
Habgood-Coote, Joshua
core   +2 more sources

Complexity of validity for propositional dependence logics [PDF]

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   +6 more sources

Wh-questions in dynamic inquisitive semantics

open access: yesTheoretical Linguistics, 2023
Abstract This target article presents a type-theoretic dynamic inquisitive semantics framework, extending the first-order system presented in (Dotlačil, Jakub & Floris Roelofsen. 2019. Dynamic inquisitive semantics: Anaphora and questions. Sinn und Bedeutung 23. 365–382). Within this framework, we develop a compositional treatment of
Floris Roelofsen, Jakub Dotlačil
openaire   +5 more sources

Structural completeness in propositional logics of dependence [PDF]

open access: yes, 2015
In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are structurally complete with respect to a class of substitutions under which
Iemhoff, Rosalie, Yang, Fan
core   +8 more sources

Home - About - Disclaimer - Privacy