Filters
Substructural propositional dynamic logics
We prove completeness and decidability of a version of Propositional Dynamic Logic where the underlying non-modal propositional logic is a substructural logic in the vicinity of the Full Distributive N...
Pure mathematics
- 2019 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
From positive PDL to its non-classical extensions
negation and a substructural extension with the residuated operators of the non-associative Lambek calculus. Informal interpretations of these two extensions are outlined. fragment of propositional dynamic logic (...
Pure mathematics
- 2019 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Substructural logics with a reflexive transitive closure modality
, such as common knowledge in a group of agents or non-deterministic iteration of actions. Normal modal logics with such modalities are well-explored but weaker logics are not. We add a reflexive transitive closure box moda...
Philosophy, History and Philosophy of science and technology
- 2017 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Non?classical epistemic logics
The workshop was focused on alternative approaches to epistemic logics with special attention to systems based on justification, dynamic and substructural logics....
AA - Filosofie a náboženství
- 2012 •
- W
Rok uplatnění
W - Uspořádání workshopu
Prague Seminar on Substructural Logics
Substructural logics are non-classical logics weaker than classical logic, notable for the absence of structural rules present in classical logic. These logics are motivated by considerat...
IN - Informatika
- 2014 •
- W •
- Link
Rok uplatnění
W - Uspořádání workshopu
Výsledek na webu
Truth-Maker Semantics for Some Substructural Logics
be constructed for other important non-classical logics. In our paper, we will generalize Fine’s approach and develop an exact semantics for some substructural logics. In particular, we will provide a truthmaker s...
Philosophy, History and Philosophy of science and technology
- 2023 •
- C •
- Link
Rok uplatnění
C - Kapitola v odborné knize
Výsledek na webu
Inquisitive Dynamic Epistemic Logic in a Non-classical Setting
logic. It was shown elsewhere that the logical laws governing the modalities of knowing and entertaining from standard inquisitive epistemic logic generalize smoothly to substructural logics. In this pape...
Philosophy, History and Philosophy of science and technology
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
NCMPL 2011. Non-Classical Modal and Predicate Logics
The conference took place in Guangzhou, December 5-9, 2011. The conference aimed to bring together experts from different areas of non-classical model and predicate logic....
BA - Obecná matematika
- 2011 •
- M
Rok uplatnění
M - Uspořádání konference
Nonassociative Substructural Logics and Their Semilinear Extensions: Axiomatization and Completeness Properties
Substructural logics extending the full Lambek calculus FL have largely, in a uniform way applicable to most (both associative and nonassociative) substructural substructural logics (i.e., log...
BA - Obecná matematika
- 2013 •
- Jx •
- Link
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Výsledek na webu
Prague Workshop on Non-Classical Epistemic Logics
The workshop is focused on various approaches in the framework of (modal) epistemic logic. The main topics discussed are epistemic variants of substructural logics, deontic logic, a solution of logical omn...
AA - Filosofie a náboženství
- 2013 •
- W
Rok uplatnění
W - Uspořádání workshopu
- 1 - 10 out of 147 361