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

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

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

Sabotage modal logic: Some model and proof theoretic aspects

Autor: Aucher, G., van Benthem, J., Grossi, D., van der Hoek, W., Holliday, W.H., Wang, W.-F.

Publikováno v: Logic, Rationality, and Interaction ISBN: 9783662485606
LORI
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings, 1-13
STARTPAGE=1;ENDPAGE=13;TITLE=Logic, Rationality, and Interaction

We investigate some model and proof theoretic aspects of sabotage modal logic. The first contribution is to prove a characterization theorem for sabotage modal logic as the fragment of first-order logic which is invariant with respect to a suitably d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0408ffd220ca3c584df8a4e0104b8f3f
https://doi.org/10.1007/978-3-662-48561-3_1

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