Search results

An arithmetical view to first-order logic 2011-08-26 Paper Omitting types in an intermediate logic 2011-05-27 Paper A Łoś type theorem for linear metric...

theorems for non-classical first-order algebraizable logics: Table 1. 2019-01-08 Paper Back-and-forth systems for fuzzy first-order models 2018-10-16 Paper...

Paper Strong conceptual completeness for first-order logic 1988-01-01 Paper Stone duality for first order logic 1987-01-01 Paper On Representations of Grothendieck...

Quantified epistemic logics for reasoning about knowledge in multi-agent systems 2009-08-31 Paper First-Order Linear-Time Epistemic Logic with Group Knowledge:...

second-order logic 2007-05-29 Paper Vertex-minors, monadic second-order logic, and a conjecture by Seese 2007-01-11 Paper Computer Science Logic 2006-11-01...

probabilistic logic programming language ProbLog 2011-06-15 Paper ProbLog Technology for Inference in a Probabilistic First Order Logic 2011-05-11 Paper...

Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework 2011-04-01 Paper Mapping Modular SOS to Rewriting Logic 2011-03-04...

2009-07-09 Paper First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment 2009-07-02 Paper Deontic Logic in Computer...

PARACONSISTENT FIRST-ORDER LOGIC QCIORE 2021-07-22 Paper Valuation semantics for first-order logics of evidence and truth (and some related logics) 2021-06-17...

Arithmetical axiomatization of first-order temporal logic 1987-01-01 Paper A complete axiomatic characterization of first-order temporal logic of linear time 1987-01-01...

equational clause logic 1999-01-05 Paper https://portal.mardi4nfdi.de/entity/Q4362908 1998-06-14 Paper Completeness of a first-order temporal logic with time-gaps...

mardi4nfdi.de/entity/Q3024855 2005-07-04 Paper Model Checking for a First-Order Temporal Logic Using Multiway Decision Graphs (MDGs) 2004-11-19 Paper On the...

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies 2009-12-01 Paper Extended First-Order Logic 2009-10-20 Paper Terminating...

types for algebraizable extensions of first order logic 2009-11-30 Paper On a theorem of Vaught for first order logic with finitely many variables 2009-11-30...

Higher-Order Reasoners 2015-11-20 Paper Interacting with Modal Logics in the Coq Proof Assistant 2015-10-20 Paper HOL Based First-Order Modal Logic Provers...

notes 1980-01-01 Paper The relative expressive power of some logics extending first-order logic 1979-01-01 Paper...

Automatic Higher-Order Prover 2012-09-05 Paper Analytic tableaux for higher-order logic with choice 2012-07-31 Paper Reducing Higher-Order Theorem Proving...

timed automata specified in a first order logic with time 2002-07-31 Paper Groups and tilings 2002-07-15 Paper A first order logic for specification of timed...

for linear temporal logic on lasso words 2023-07-28 Paper A formally verified, optimized monitor for metric first-order dynamic logic 2022-11-09 Paper Some...

fragments of first-order logic 2009-08-20 Paper The information in intuitionistic logic 2009-08-11 Paper Everything else being equal: a modal logic for ceteris...