Výsledky vyhledávání - "Grilletti, G."

Algebraic and Topological Semantics for Inquisitive Logic via Choice-Free Duality

Autor: Bezhanishvili, N., Grilletti, G., Holliday, W.H., Iemhoff, R., Moortgat, M., de Queiroz, R.

Publikováno v: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings, 35-52
STARTPAGE=35;ENDPAGE=52;TITLE=Logic, Language, Information, and Computation
Logic, Language, Information, and Computation-26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings
Logic, Language, Information, and Computation ISBN: 9783662595329
WoLLIC
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Logic, Language, Information, and Computation

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 ¬¬-fixpoints of the al

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1c62bcd1d62ab388e6ae4136b5f3503c
https://doi.org/10.1007/978-3-662-59533-6_3

Zobrazit plný text záznamu

An Ehrenfeucht-Fraïssé Game for Inquisitive First-Order Logic

Autor: Grilletti, G., Ciardelli, I., Silva, A., Staton, S., Sutton, P., Umbach, C.

Publikováno v: Language, Logic, and Computation: 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers, 166-186
STARTPAGE=166;ENDPAGE=186;TITLE=Language, Logic, and Computation
Lecture Notes in Computer Science ISBN: 9783662595640
TbiLLC

Inquisitive first-order logic, InqBQ, is an extension of classi- cal first-order logic with questions. From a mathematical point of view, formulas in this logic express properties of sets of relational structures. In this paper we describe an Ehrenfe

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbaaceea01d12753b762df602493bfba
https://hdl.handle.net/11245.1/22676899-24b8-4125-a887-ff3cfe8c95f1

Zobrazit plný text záznamu

Geometric Model Checking of Continuous Space

Autor: Bezhanishvili N., Ciancia V., Gabelaia D., Grilletti G., Latella D., Massink M.

Publikováno v: Research report, IT-MaTTerS, PRIN 2017FTXR7S, 2021

Topological Spatial Model Checking is a recent paradigm that combines Model Checking with the topological interpretation of Modal Logic. The Spatial Logic of Closure Spaces, SLCS, extends Modal Logic with reachability connectives that, in turn, can b

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::de73dbd5c53a57826c105128b860a8bf
https://openportal.isti.cnr.it/doc?id=people______::de73dbd5c53a57826c105128b860a8bf

Zobrazit plný text záznamu

Questions & quantification: A study of first order inquisitive logic

Autor: Grilletti, G.

This dissertation focuses on the study of inquisitive first order logic InqBQ, a logical formalism encompassing questions in the presence of quantification. In particular, we focus on developing tools and techniques to study the expressive power of I

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::c0c1310aabc9f706e781c076a17b776c
https://dare.uva.nl/personal/pure/en/publications/questions--quantification(7055a5a3-0e50-4940-a788-9cc7067a3707).html

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A Dynamic Approach to Temporal Normative Logic

Autor: Ju, F., Grilletti, G., Baltag, A., Seligman, J., Yamada, T.

Publikováno v: Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings, 512-525
STARTPAGE=512;ENDPAGE=525;TITLE=Logic, Rationality, and Interaction
Logic, Rationality, and Interaction ISBN: 9783662556641
LORI

State commands refer to states, not actions. They have a temporal dimension explicitly or implicitly. They indirectly change what we are permitted, forbidden or obligated to do. This paper presents \({{\mathrm{\mathsf {DTNL}}}}{}\), a deontic logic m

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da6fb42db9aa9207746d5f74df40acf6
https://dare.uva.nl/personal/pure/en/publications/a-dynamic-approach-to-temporal-normative-logic(b7f5b008-e694-4776-8381-d987062bb805).html

Zobrazit plný text záznamu

On spatio-temporal model-checking of vehicular movement in public transport systems

Autor: Ciancia V., Gilmore S., Grilletti G., Latella D., Loreti M., Massink M.

Publikováno v: ISTI Technical reports, 2016

In this paper we present the use of a novel spatio-temporal model-checker to detect problems in the data and operation of an adaptive system. We categorise received data as being plausible, implausible, possible or problematic. Data correctness is es

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::e6cc7788b082545c920838a407a8d76f
https://publications.cnr.it/doc/362866

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A spatio-temporal model-checker

Autor: Ciancia V., Grilletti G., Latella D., Loreti M., Massink M.

Publikováno v: ISTI Technical reports, 2014

We define a spatio-temporal logic, the Spatio-temporal Logic of Closure Spaces (STLCS). The logic is interpreted on Kripke models, in which each state has an associated closure space. The logic extends CTL with spatial operators, in the spirit of top

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::a72a191477229d1a865c29fd56661ce6
https://publications.cnr.it/doc/362777

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání