UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021

Journal of logic and computation, 2024-09

2024

Volltextzugriff (PDF)

28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5–8, 2021

The bulletin of symbolic logic, 2023-12, Vol.29 (4), p.725-725

2023

Volltextzugriff (PDF)

Revising System Specifications in Temporal Logic

Journal of logic, language, and information, 2022-12, Vol.31 (4), p.591-618

2022

Volltextzugriff (PDF)

Hyperintensional Models and Belief Change

Intelligent Systems, 2022, Vol.13653, p.429-443

2022

Volltextzugriff (PDF)

Characterizations for XPathR(↓)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\text {XPath}^{}_{{\mathcal R}}(\downarrow ){}$$\end{document}

Logic, Language, Information, and Computation, 2021, p.319-336

2021

Volltextzugriff (PDF)

Provability Games for Non-classical Logics: Mezhirov Game for MPC\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathbf {MPC}$$\end{document}, KD!\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \be

Logic, Language, Information, and Computation, 2021, p.408-425

2021

Volltextzugriff (PDF)

Preface to special issue: LSFA 2017 and 2018

Mathematical structures in computer science, 2021-03, Vol.31 (3), p.255-256

2021

Volltextzugriff (PDF)

Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes

Logic, Language, Information, and Computation, 2021, Vol.13038, p.31-46

2021

Volltextzugriff (PDF)

Verifying the Conversion into CNF in Dafny

Logic, Language, Information, and Computation, 2021, Vol.13038, p.150-166

2021

Volltextzugriff (PDF)

On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties

Logic, Language, Information, and Computation, 2021, Vol.13038, p.302-318

2021

Volltextzugriff (PDF)

Algorithmically Broad Languages for Polynomial Time and Space

Logic, Language, Information, and Computation, 2021, Vol.13038, p.372-387

2021

Volltextzugriff (PDF)

Doubly Strongly First Order Dependencies

Logic, Language, Information, and Computation, 2021, Vol.13038, p.47-63

2021

Volltextzugriff (PDF)

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics

Logic, Language, Information, and Computation, 2021, Vol.13038, p.287-301

2021

Volltextzugriff (PDF)

Axiomatic Reals and Certified Efficient Exact Real Computation

Logic, Language, Information, and Computation, 2021, Vol.13038, p.252-268

2021

Volltextzugriff (PDF)

Modal Logic via Global Consequence

Logic, Language, Information, and Computation, 2021, Vol.13038, p.117-132

2021

Volltextzugriff (PDF)

Provability Games for Non-classical Logics

Logic, Language, Information, and Computation, 2021, Vol.13038

2021

Volltextzugriff (PDF)

Formalized Soundness and Completeness of Epistemic Logic

Logic, Language, Information, and Computation, 2021, Vol.13038, p.1-15

2021

Volltextzugriff (PDF)

Analysis in a Formal Predicative Set Theory

Logic, Language, Information, and Computation, 2021, Vol.13038, p.167-183

2021

Volltextzugriff (PDF)

Disjunction and Negation in Information Based Semantics

Logic, Language, Information, and Computation, 2021, Vol.13038, p.355-371

2021

Volltextzugriff (PDF)

Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings

2021

Volltextzugriff (PDF)

Characterizations for XPathR("3223379 )

Logic, Language, Information, and Computation, 2021, Vol.13038

2021

Volltextzugriff (PDF)

Computable Execution Traces

Logic, Language, Information, and Computation, 2021, Vol.13038, p.235-251

2021

Volltextzugriff (PDF)

Games for Hybrid Logic: From Semantic Games to Analytic Calculi

Logic, Language, Information, and Computation, 2021, p.133-149

2021

Volltextzugriff (PDF)

Orthogonal Frames and Indexed Relations

Logic, Language, Information, and Computation, 2021, Vol.13038, p.219-234

2021

Volltextzugriff (PDF)

Meaning and Computing: Two Approaches to Computable Propositions

Logic, Language, Information, and Computation, 2021, Vol.13038, p.100-116

2021

Volltextzugriff (PDF)

1 – 25 von 73

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(59)
Mit Volltextzugriff
(67)

Publikationsform

1 weiteren anzeigen...

Weniger anzeigen...

Sprache

Englisch
(73)

Erscheinungsjahr

n.n

Thema

Computer Science
(48)
Science & Technology
(47)
Technology
(44)
Logic
(35)
Computer Science, Theory & Methods
(31)
Science & Technology - Other Topics
(30)
Mathematics
(27)
Physical Sciences
(26)
Mathematics, Applied
(25)
Computer Science, Artificial Intelligence
(16)
Artificial Intelligence
(11)
Belief Revision
(10)
Belief Change
(6)
Reasoning
(6)
Applied Sciences
(5)
Computer Science; Control Theory; Systems
(5)
Exact Sciences And Technology
(5)
Philosophy
(5)
Approximate Reasoning
(4)
Inference
(4)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 30 Tagen
(1)

Menü

Weitere Dienste

Einstellungen

27th Workshop on Logic, Language, Information and Computation - WoLLIC 2021

28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5–8, 2021

Revising System Specifications in Temporal Logic

Hyperintensional Models and Belief Change

Preface to special issue: LSFA 2017 and 2018

Wanted Dead or Alive: Epistemic Logic for Impure Simplicial Complexes

Verifying the Conversion into CNF in Dafny

On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties

Algorithmically Broad Languages for Polynomial Time and Space

Doubly Strongly First Order Dependencies

Uniform Lyndon Interpolation for Basic Non-normal Modal Logics

Axiomatic Reals and Certified Efficient Exact Real Computation

Modal Logic via Global Consequence

Provability Games for Non-classical Logics

Formalized Soundness and Completeness of Epistemic Logic

Analysis in a Formal Predicative Set Theory

Disjunction and Negation in Information Based Semantics

Logic, Language, Information, and Computation: 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings

Characterizations for XPathR("3223379 )

Computable Execution Traces

Games for Hybrid Logic: From Semantic Games to Analytic Calculi

Orthogonal Frames and Indexed Relations

Meaning and Computing: Two Approaches to Computable Propositions

Suchergebnisse filtern