| Publication | Date of Publication | Type |
|---|
About the unification types of modal logics
| 2024-10-01 | Paper |
About the complete axiomatization of dynamic extensions of arrow logic
| 2024-09-06 | Paper |
Parametrized modal logic. II: The unidimensional case
| 2024-06-05 | Paper |
Simple Axioms for Local Properties
Electronic Proceedings in Theoretical Computer Science | 2024-02-28 | Paper |
Unification types in Euclidean modal logics
Logic Journal of the IGPL | 2023-07-06 | Paper |
scientific article; zbMATH DE number 7668093 (Why is no real title available?)
| 2023-03-24 | Paper |
scientific article; zbMATH DE number 7668094 (Why is no real title available?)
| 2023-03-24 | Paper |
Remarks about the unification types of some locally tabular normal modal logics
Logic Journal of the IGPL | 2023-02-16 | Paper |
Bisimulations for intuitionistic temporal logics
| 2022-10-12 | Paper |
scientific article; zbMATH DE number 7599937 (Why is no real title available?)
| 2022-10-12 | Paper |
Elementary unification in modal logic \(KD45\)
| 2022-09-28 | Paper |
Setting the basis for here and there modal logics
| 2022-09-28 | Paper |
scientific article; zbMATH DE number 7585707 (Why is no real title available?)
| 2022-09-15 | Paper |
scientific article; zbMATH DE number 7585706 (Why is no real title available?)
| 2022-09-15 | Paper |
Decidable and Undecidable Problems for First-Order Definability and Modal Definability
| 2022-08-11 | Paper |
Unification with parameters in the implication fragment of classical propositional logic
Logic Journal of the IGPL | 2022-07-22 | Paper |
Orthogonal frames and indexed relations
| 2022-06-24 | Paper |
About the unification type of \(\mathbf{K}+\square \square \bot\)
Annals of Mathematics and Artificial Intelligence | 2022-05-04 | Paper |
Frame-validity games and lower bounds on the complexity of modal axioms
Logic Journal of the IGPL | 2022-03-30 | Paper |
Asynchronous announcements
ACM Transactions on Computational Logic | 2022-02-24 | Paper |
Relational representation theorems for extended contact algebras
Studia Logica | 2021-11-11 | Paper |
From public announcements to asynchronous announcements
| 2021-07-06 | Paper |
About the unification type of modal logics between \(\mathbf{KB}\) and \(\mathbf{KTB} \)
Studia Logica | 2021-05-11 | Paper |
About the temporal logic of the lexicographic products of unbounded dense linear orders: a new study of its computability
Logic in Asia: Studia Logica Library | 2020-07-14 | Paper |
Contact logic is finitary for unification with constants
Logic in Asia: Studia Logica Library | 2020-07-14 | Paper |
Intuitionistic linear temporal logics
ACM Transactions on Computational Logic | 2020-02-14 | Paper |
Unification in modal logic
| 2020-01-14 | Paper |
Axiomatization and computability of a variant of iteration-free PDL with fork
Journal of Logical and Algebraic Methods in Programming | 2019-11-28 | Paper |
Remarks about the unification type of several non-symmetric non-transitive modal logics
Logic Journal of the IGPL | 2019-11-04 | Paper |
Two decision problems in Contact Logics
Logic Journal of the IGPL | 2019-11-04 | Paper |
Here and there modal logic with dual implication
| 2019-07-24 | Paper |
Frame-validity games and absolute minimality of modal axioms
| 2019-07-24 | Paper |
The dynamics of epistemic attitudes in resource-bounded agents
Studia Logica | 2019-07-03 | Paper |
Geometrical structures and modal logic
Practical Reasoning | 2019-04-29 | Paper |
Modal logics with relative accessibility relations
Practical Reasoning | 2019-04-29 | Paper |
Iteration-free \(\mathrm{PDL}\) with storing, recovering and parallel composition: a complete axiomatization
Journal Of Logic And Computation | 2019-01-31 | Paper |
Representation theorems for extended contact algebras based on equivalence relations
| 2019-01-29 | Paper |
Modal correspondence theory in the class of all Euclidean frames
Journal Of Logic And Computation | 2018-09-28 | Paper |
Unification in epistemic logics
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
KD is nullary
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Putting right the wording and the proof of the truth lemma for \textit{APAL}
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Modal logics for reasoning about infinite unions and intersections of binary relations
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
scientific article; zbMATH DE number 6863640 (Why is no real title available?)
| 2018-04-23 | Paper |
Unification in modal logic \(\mathrm{Alt}_1\)
| 2018-04-23 | Paper |
Before announcement
| 2018-04-23 | Paper |
scientific article; zbMATH DE number 6863850 (Why is no real title available?)
| 2018-04-23 | Paper |
scientific article; zbMATH DE number 6863639 (Why is no real title available?)
| 2018-04-23 | Paper |
Axiomatization and computability of a variant of iteration-free PDL with fork
Lecture Notes in Computer Science | 2018-04-12 | Paper |
Bisimulations for intuitionistic temporal logics
| 2018-03-13 | Paper |
Finitariness of elementary unification in Boolean region connection calculus
| 2018-01-04 | Paper |
Dynamic logic of propositional assignments: a well-behaved variant of PDL
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
Undecidable problems for modal definability
Journal Of Logic And Computation | 2017-05-17 | Paper |
On logics of group belief in structured coalitions
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Temporal here and there
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Two-sorted point-interval temporal logics
Electronic Notes in Theoretical Computer Science | 2016-10-07 | Paper |
Controller/orchestrator synthesis via filtration
Electronic Notes in Theoretical Computer Science | 2016-08-05 | Paper |
Reasoning about negligibility and proximity in the set of all hyperreals
Journal of Applied Logic | 2016-06-30 | Paper |
Admissibility and Unifiability in Contact Logics
Logic, Language, and Computation | 2015-12-03 | Paper |
Tableaux methods for propositional dynamic logics with separating parallel composition
Automated Deduction - CADE-25 | 2015-12-02 | Paper |
Decision procedures for a deontic logic modeling temporal inheritance of obligations
Electronic Notes in Theoretical Computer Science | 2015-03-23 | Paper |
Subset space logic with arbitrary announcements
Logic and Its Applications | 2015-01-06 | Paper |
Algorithms and Complexity of Automata Synthesis by Asynhcronous Orchestration With Applications to Web Services Composition
Electronic Notes in Theoretical Computer Science | 2014-06-27 | Paper |
Completeness and definability of a modal logic interpreted over iterated strict partial orders
| 2014-06-11 | Paper |
scientific article; zbMATH DE number 6302894 (Why is no real title available?)
| 2014-06-11 | Paper |
Some truths are best left unsaid
| 2014-06-11 | Paper |
Definability and canonicity for Boolean logic with a binary relation
Fundamenta Informaticae | 2014-04-25 | Paper |
Decidability and complexity via mosaics of the temporal logic of the lexicographic products of unbounded dense linear orders
Frontiers of Combining Systems | 2013-09-20 | Paper |
Ockhamist propositional dynamic logic: a natural link between PDL and CTL*
Logic, Language, Information, and Computation | 2013-09-17 | Paper |
Agents that look at one another
Logic Journal of the IGPL | 2013-06-11 | Paper |
Deciding the word problem in pure double Boolean algebras
Journal of Applied Logic | 2013-05-02 | Paper |
Deciding the bisimilarity relation between Datalog goals
Logics in Artificial Intelligence | 2012-09-21 | Paper |
Axiomatization and completeness of lexicographic products of modal logics
Journal of Applied Non-Classical Logics | 2012-07-17 | Paper |
Reasoning about permitted announcements
Journal of Philosophical Logic | 2011-12-15 | Paper |
Coalition games over Kripke semantics: expressiveness and complexity
| 2011-05-31 | Paper |
Proving the decidability of the \(\mathrm{PDL}\times\mathrm{PDL}\) product logic
| 2011-05-04 | Paper |
Boolean logics with relations
The Journal of Logic and Algebraic Programming | 2010-11-11 | Paper |
A dynamic logic for termgraph rewriting
Lecture Notes in Computer Science | 2010-10-04 | Paper |
`Knowable' as `known after an announcement'
The Review of Symbolic Logic | 2010-08-13 | Paper |
Group announcement logic
Journal of Applied Logic | 2010-06-11 | Paper |
Tableaux for Public Announcement Logic
Journal Of Logic And Computation | 2010-02-19 | Paper |
Axiomatization and Completeness of Lexicographic Products of Modal Logics
Frontiers of Combining Systems | 2010-01-07 | Paper |
Modal Logics for Parallelism, Orthogonality, and Affine Geometries
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Dynamic logics of the region-based theory of discrete spaces
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
PDL with intersection of programs: a complete axiomatization
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Hyper arrow logic with indiscernibility and complementarity
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Hyper arrow logic with indiscernibility and complementarity
Journal of Applied Non-Classical Logics | 2009-11-11 | Paper |
Artificial Intelligence: Methodology, Systems, and Applications
Lecture Notes in Computer Science | 2009-04-29 | Paper |
Logical approaches to deontic reasoning: From basic questions to dynamic solutions
International Journal of Intelligent Systems | 2008-11-07 | Paper |
A Logical Approach to Dynamic Role-Based Access Control
Artificial Intelligence: Methodology, Systems, and Applications | 2008-11-04 | Paper |
Alternative axiomatics and complexity of deliberative STIT theories
Journal of Philosophical Logic | 2008-08-20 | Paper |
Every world can see a Sahlqvist world
| 2008-07-01 | Paper |
scientific article; zbMATH DE number 5295702 (Why is no real title available?)
| 2008-07-01 | Paper |
A modal logic for Pawlak's approximation spaces with rough cardinality \(n\)
| 2008-06-20 | Paper |
Boolean Logics with Relations
Relations and Kleene Algebra in Computer Science | 2008-05-15 | Paper |
scientific article; zbMATH DE number 5241969 (Why is no real title available?)
| 2008-03-03 | Paper |
A Tableau Method for Public Announcement Logics
Lecture Notes in Computer Science | 2008-01-04 | Paper |
Line-based affine reasoning in Euclidean plane
Journal of Applied Logic | 2007-07-25 | Paper |
Definability Over the Class of all Partitions
Journal Of Logic And Computation | 2007-04-13 | Paper |
Arrow logic with arbitrary intersections: applications to Pawlak's information systems
| 2007-02-26 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
On the consistency problem for the \(\mathcal {INDU}\) calculus
Journal of Applied Logic | 2006-06-30 | Paper |
scientific article; zbMATH DE number 2213631 (Why is no real title available?)
| 2005-10-11 | Paper |
scientific article; zbMATH DE number 2086598 (Why is no real title available?)
| 2004-08-11 | Paper |
Dynamic extensions of arrow logic
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
scientific article; zbMATH DE number 2066186 (Why is no real title available?)
| 2004-05-18 | Paper |
Inequality without irreflexivity
Journal of Applied Non-Classical Logics | 2004-01-13 | Paper |
A new proof of completeness for a relative modal logic with composition and intersection
Journal of Applied Non-Classical Logics | 2004-01-08 | Paper |
scientific article; zbMATH DE number 1953884 (Why is no real title available?)
| 2003-07-28 | Paper |
scientific article; zbMATH DE number 1810488 (Why is no real title available?)
| 2003-07-25 | Paper |
Spatial reasoning about points in a multidimensional setting
Applied Intelligence | 2003-03-12 | Paper |
scientific article; zbMATH DE number 1844515 (Why is no real title available?)
| 2002-12-12 | Paper |
Tractability Results in the Block Algebra
Journal Of Logic And Computation | 2002-11-27 | Paper |
scientific article; zbMATH DE number 1761890 (Why is no real title available?)
| 2002-07-01 | Paper |
A hierarchy of modal logics with relative accessibility relations
Journal of Applied Non-Classical Logics | 2002-05-22 | Paper |
Iteration-free PDL with intersection: A complete axiomatization
Fundamenta Informaticae | 2001-11-07 | Paper |
A relational model of movement
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
scientific article; zbMATH DE number 1487799 (Why is no real title available?)
| 2001-07-04 | Paper |
scientific article; zbMATH DE number 1215460 (Why is no real title available?)
| 2001-03-01 | Paper |
scientific article; zbMATH DE number 1421194 (Why is no real title available?)
| 2000-12-03 | Paper |
The Modal Multilogic of Geometry
Journal of Applied Non-Classical Logics | 1999-09-29 | Paper |
scientific article; zbMATH DE number 1322827 (Why is no real title available?)
| 1999-08-09 | Paper |
Complete Axiomatization of a Relative Modal Logic with Composition and Intersection
Journal of Applied Non-Classical Logics | 1999-05-18 | Paper |
scientific article; zbMATH DE number 1114035 (Why is no real title available?)
| 1998-02-08 | Paper |
Modal logics for incidence geometries
Journal of Logic and Computation | 1997-08-19 | Paper |
scientific article; zbMATH DE number 790271 (Why is no real title available?)
| 1995-08-27 | Paper |
A translation from the modal logic of provability into K4
Journal of Applied Non-Classical Logics | 1994-12-12 | Paper |
scientific article; zbMATH DE number 431928 (Why is no real title available?)
| 1993-11-11 | Paper |
scientific article; zbMATH DE number 176532 (Why is no real title available?)
| 1993-05-18 | Paper |
scientific article; zbMATH DE number 92602 (Why is no real title available?)
| 1993-01-16 | Paper |
Modal Logic and Negation as Failure
Journal Of Logic And Computation | 1991-01-01 | Paper |
