Search results

Paraconsistency in hybrid logic 2018-02-13 Paper Applying differential dynamic logic to reconfigurable biological networks 2017-10-20 Paper Dynamic Logic with Binders...

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference 2010-10-12 Paper Terminating Tableaux for Hybrid Logic with Eventualities 2010-09-14...

for a fragment of hybrid logic with binders 2016-05-26 Paper A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse...

for Hybrid Logic 2007-04-13 Paper Axioms for classical, intuitionistic, and paraconsistent hybrid logic 2006-11-17 Paper Intuitionistic hybrid logic 2006-10-10...

between Hybrid Probabilistic Logic Programs and Stochastic Satisfiability 2008-11-04 Paper Incomplete Knowledge in Hybrid Probabilistic Logic Programs...

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference 2010-10-12 Paper Terminating Tableaux for Hybrid Logic with Eventualities 2010-09-14...

de/entity/Q5226735 2019-08-01 Paper Paraconsistency in hybrid logic 2018-02-13 Paper A Tableau System for Quasi-Hybrid Logic 2016-09-05 Paper...

Termination for Hybrid Tableaus 2007-12-12 Paper Arthur Prior and hybrid logic 2006-12-20 Paper Constructive interpolation in hybrid logic 2005-02-09 Paper...

epistemic logics with structured knowledge 2022-06-17 Paper Graded epistemic logic with public announcement 2022-03-09 Paper Hybrid dynamic logic institutions...

first-order hybrid logic 2020-03-04 Paper Completeness in equational hybrid propositional type theory 2019-12-11 Paper Henkin and Hybrid Logic 2015-11-27...

Alternating-Time Temporal Logic ATL + 2017-07-12 Paper A tableau based decision procedure for an expressive fragment of hybrid logic with binders, converse...

Proving for Topological Hybrid Logic 2015-03-23 Paper Swap logic 2015-02-27 Paper Tableaux for Relation-Changing Modal Logics 2013-09-20 Paper Moving Arrows...

2009-02-24 Paper Termination for Hybrid Tableaus 2007-12-12 Paper Tableau-based Decision Procedures for Hybrid Logic 2007-04-13 Paper https://portal.mardi4nfdi...

A New Modal Approach to the Logic of Intervals 2007-12-17 Paper A Minimal Hybrid Logic for Intervals 2006-07-06 Paper...

and Hybrid Logics 2011-07-01 Paper Generalized Satisfiability for the Description Logic $\mathcal{ALC}$ 2011-07-01 Paper Complexity of hybrid logics over...

Completeness and Correspondence in Hybrid Logic via an Extension of SQEMA 2015-03-23 Paper An algebraic look at filtrations in modal logic 2015-02-27 Paper Algorithmic...

Paper A Logic of Plausible Justifications 2012-09-21 Paper A study on multi-dimensional products of graphs and hybrid logics 2011-12-23 Paper Hybrid Logics...

of a Hybrid Duration Calculus 2013-12-20 Paper A Two-Tiered Formalization of Social Influence 2013-11-06 Paper A Hybrid Public Announcement Logic with...

Paper Hierarchical hybrid logic 2019-11-12 Paper Limits in categories of Vietoris coalgebras 2019-03-12 Paper Languages and models for hybrid automata: a coalgebraic...

2018-02-13 Paper Birkhoff style calculi for hybrid logics 2017-11-29 Paper Foundations of logic programming in hybrid logics with user-defined sharing 2017-06-15...